Author

Publication

1970 - Springer-Verlag, Berlin

Language

English

Word Count

32,500 words, Guess

Page Count

130 pages

Identifiers

Classifications

  • DDC511/.65
  • LCCQA3 .L28 nr. 120

Subjects

Series Statement

  • Decidable theories

Other Editions

  • Büchi's monadic second order successor arithmetic.Springer-Verlag1970-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!