Büchi's monadic second order successor arithmetic.


Berlin, New York, Springer-Verlag, 1970.

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.120 Off-site
Request
American
WRLC Shared Collections Facility
QA3 .L28 no.120 Off-site
Request
Catholic
Mullen Library stacks
QA3 .L47 no.120 Missing
Georgetown
RIGGS Storage
QA3 .L28 no. 120 Available Request
Subjects Calcul des prédicats.
Machines séquentielles, Théorie des.
Predicate calculus.
Sequential machine theory.
Series Lecture notes in mathematics (Springer-Verlag) ; 120.
Lecture notes in mathematics (Springer-Verlag). Decidable theories ; 1.
Description xii, 130 pages 26 cm.
Copyright Date 1970.
Notes Includes bibliographical references (pages 125-127).
Network Numbers (OCoLC)138968
(OCoLC)ocm00138968
WorldCat Search OCLC WorldCat
WorldCat Identities Siefkes, Dirk.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks