Büchi's monadic second order successor arithmetic.

Saved in:

Bibliographic Details
Author / Creator:	Siefkes, Dirk.
Imprint:	Berlin, New York : Springer-Verlag, 1970.
Description:	xii, 130 p. 26 cm.
Language:	English
Series:	Decidable theories 1 Lecture notes in mathematics, 120 Lecture notes in mathematics (Springer-Verlag) ; 120.
Subject:	Predicate calculus. Sequential machine theory. Predicate calculus Sequential machine theory
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/4710603

Hidden Bibliographic Details
Notes:	Bibliography: p. [125]-127.

Mansueto

Holdings details from Mansueto
Call Number:	QA3.L41 no.120
c.1	To check availability consult the series record. Intellectual item Need help? - Ask a Librarian