| Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic 1970 Edition Contributor(s): Siefkes, Dirk (Author), Müller, Gert H. (Editor) |
|
 |
ISBN: 3540049096 ISBN-13: 9783540049098 Publisher: Springer OUR PRICE: $37.95 Product Type: Paperback Published: January 1970 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic |
| Dewey: 511.65 |
| Series: Lecture Notes in Mathematics |
| Physical Information: 0.31" H x 6.14" W x 9.21" (0.47 lbs) 134 pages |