J. R. Büchi, D. Siefkes

Broschiertes Buch

Decidable Theories

Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Herausgegeben: Siefkes, D.; Müller, G. H.

Beschreibung

The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.

Produktdetails

• Lecture Notes in Mathematics 328
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-06345-2
• 1973.
• Seitenzahl: 228
• Erscheinungstermin: 5. Juli 1973
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 351g
• ISBN-13: 9783540063452
• ISBN-10: 3540063455
• Artikelnr.: 23539475