Buchi's monadic second order successor arithmetic.

Berlin, New York, Springer-Verlag, 1970.

Location Call Number Status Consortium Loan
WRLC Shared Collections Facility
QA3 .L28 no.120 Off-site
George Mason
Fenwick stacks
QA3 .L28 no.120 Available Request
Subjects Predicate calculus.
Sequential machine theory.
Description xii, 130 pages 26 cm.
Copyright Date 1970.
Notes Bibliography: pages [125]-127.
Network Numbers (OCoLC)00138968
WorldCat Search OCLC WorldCat
WorldCat Identities Siefkes, Dirk.
Publication timeline, list of works, related names and subjects and other information


Export citation to: RefWorks