Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Beschreibung

Autor*in

G. H. Müller

Themen in »Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983«

Boolesche Algebra /Bericht Cantor Finite Modell (Math. Logik) /Bericht Morphism algebra calculus commutative property function geometry model theory ordinal proof

Stimmen zu »Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983«

Details

Link teilen