Lecture Notes in Mathematics

Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Authors: Siefkes, Dirk

Editors: Müller, Gert H. (Ed.)

Free Preview

Buy this book

eBook $29.99
price for USA in USD (gross)
  • ISBN 978-3-540-36252-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.95
price for USA in USD
  • ISBN 978-3-540-04909-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (2 chapters)

Table of contents (2 chapters)

Buy this book

eBook $29.99
price for USA in USD (gross)
  • ISBN 978-3-540-36252-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.95
price for USA in USD
  • ISBN 978-3-540-04909-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Decidable Theories
Book Subtitle
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Authors
Editors
  • Gert H. Müller
Series Title
Lecture Notes in Mathematics
Series Volume
120
Copyright
1970
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36252-4
DOI
10.1007/BFb0061047
Softcover ISBN
978-3-540-04909-8
Series ISSN
0075-8434
Edition Number
1
Number of Pages
XIV, 134
Topics