The monadic second order theory of all countable ordinals/
Main Author: | Buchi, J. Richard |
---|---|
Other Authors: | Siefkes, Dirk |
Format: | Book |
Language: | English |
Published: |
Berlin:
Springer-Verlag,
1973
|
Series: | Lecture Notes in Mathematics / Springer-Verlag ; Decidable theories ;
328 |
Subjects: |
Mathematics
> 2
|
Similar Items
-
Undecidable theories/
by: Tarski, Alfred, 1901-1983
Published: (1953) -
Godelʹs theorem in focus/
by: Shanker, S. G.
Published: (1988) -
On formally undecidable propositions of Principia mathematica and related systems/
by: Go?del, Kurt
Published: (1992) -
Satan, cantor & infinity : mind-boggling puzzles /
by: Smullyan, Raymond M.
Published: (2009) -
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Go?del /
by: Mostowski, Andrzej
Published: (1952)