Decidable Theories: Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, #328)

by Dirk Siefkes

Gert H. Muller (Editor)

0 ratings • 0 reviews • 0 shelved
Book cover for Decidable Theories
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN13 9783540049098
  • Publish Date 1 January 1970
  • Publish Status Active
  • Publish Country DE
  • Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Edition 1970 ed.
  • Format Paperback
  • Pages 134
  • Language English