Decidable Theories
Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Published on 5. July 1973
Book
Paperback/Softback
VIII, 224 pages
978-3-540-06345-2 (ISBN)
Description
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.
More details
Series
Edition
1973 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VIII, 224 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
353 gr
ISBN-13
978-3-540-06345-2 (9783540063452)
DOI
10.1007/BFb0082720
Schweitzer Classification
Content
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.