Research Catalog

Büchi's monadic second order successor arithmetic.

Title
Büchi's monadic second order successor arithmetic.
Author
Siefkes, Dirk
Publication
Berlin, New York, Springer-Verlag, 1970.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/textUse in library QA3 .L28 no.120Off-site

Details

Description
xii, 130 p.; 26 cm.
Series Statement
  • Decidable theories 1
  • Lecture notes in mathematics ; 120
Uniform Title
Lecture notes in mathematics (Springer-Verlag) ; 120.
Subject
  • Predicate calculus
  • Sequential machine theory
Bibliography (note)
  • Bibliography: p. [125]-127.
Additional Formats (note)
  • Also available in an electronic version.
LCCN
70111900 //r85
OCLC
  • ocm00138968
  • SCSB-14894651
Owning Institutions
Princeton University Library