Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Büchi J. R., Siefkes D.Ano:
1973
Editora:
Springer
Idioma:
english
Páginas:
222
ISBN 10:
0387063455
ISBN 13:
9780387063454
Série:
Lecture Notes in Mathematics, 328
Arquivo:
DJVU, 1.32 MB
IPFS:
,
english, 1973