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/TextRequest in advance QA3 .L28 no. 120Off-site

Details

Description
xii, 130 p.; 26 cm.
Series Statement
  • Lecture notes in mathematics, 120
  • Decidable theories ; v1
Uniform Title
  • Lecture notes in mathematics (Springer-Verlag). Decidable theories v1.
  • Lecture notes in mathematics (Springer-Verlag) 120
Subject
  • Predicate calculus
  • Sequential machine theory
Bibliography (note)
  • Bibliography: p. [125]-127.
Processing Action (note)
  • committed to retain
Contents
Decidability and completeness of SC -- Benefits of the decision procedure.
LCCN
^^^70111900^//r85
OCLC
  • 138968
  • SCSB-9982004
Owning Institutions
Harvard Library