cover image

The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes.

; Siefkes, Dirk, author
Berlin, New York, Springer, 1973.
ISBN 9780387063454, 0387063455, 9783540063452, 3387063455, 3540063455

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.328 Off-site
Request
American
WRLC Shared Collections Facility
No.327-329 bound together. Held at WRLC Center; available for delivery
WRLC Shared Collections Facility
QA3 .L28 no. 327-329 Off-site
Request
George Mason
Fenwick stacks
QA3 .L28 no.328 Available Request
Georgetown
RIGGS Storage
QA3 .L28 no.328 Available Request
Other Authors Siefkes, Dirk,
Subjects Abzähltheorie.
Gödel's theorem.
Gödel, Théorème de.
Logica Matematica.
Mathematische Logik.
Model theory.
Modèles, Théorie des.
Ordinalzahl.
Series Lecture notes in mathematics (Springer-Verlag) ; 328.
Lecture notes in mathematics (Springer-Verlag). Decidable theories ; 2.
Description vi, 217 pages 26 cm.
Copyright Date 1973.
Notes Includes bibliographical references.
Contents Büchi, J.R. The monadic second order theory of [omega symbol]₁. -- Büchi, J.R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.
Network Numbers (OCoLC)707566
(OCoLC)ocm00707566
WorldCat Search OCLC WorldCat
WorldCat Identities Büchi, J. Richard.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks