Decidable Theories
Dirk Siefkes, Gert H. Mller
₹2,679
Büchi's Monadic Second Order Successor Arithmetic
by Dirk Siefkes
Springer · 1970
₹4,988
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 1970, Büchi's Monadic Second Order Successor Arithmetic by Dirk Siefkes runs to 133 pages.
The book deals with Predicate calculus and Sequential machine theory.
Book details
- ISBN-13
- 9783662358481
- ISBN-10
- 3662358484
- Author
- Dirk Siefkes
- Publisher
- Springer
- Published
- 1970
- Pages
- 133
- Language
- English
- Condition
- New
More by Dirk Siefkes and related titles
Sozialgeschichte Der Informatik
Dirk Siefkes
₹2,779
Formalisieren Und Beweisen
Dirk Siefkes
₹3,508
Formalisieren Und Beweisen
Dirk Siefkes
₹4,601
Gi-4.Jahrestagung
Dirk Siefkes
₹3,143
Inference Control in Statistical Databases
Josep Domingo-Ferrer
₹5,580
Innovation Policies in the European News Media Industry
Hans van Kranenburg
₹3,843
Smooth S1 Manifolds
Wolf Iberkleid, Ted Petrie
₹2,686
George C. Williams and Evolutionary Literacy
Michael P. Cohen
₹3,035
Mdct and 3D Workstations
Scott A. Lipson
₹3,011
Security Aspects in Information Technology
Marc Joye, Debdeep Mukhopadhyay, Michael Tunstall
₹5,250
International Handbook on Globalisation, Education and Policy Research
Joseph Zajda
₹5,107