Decidable Theories
Dirk Siefkes, Gert H. Müller
₹2,679
Büchi's Monadic Second Order Successor Arithmetic
by Dirk Siefkes
₹4,988
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
Büchi's Monadic Second Order Successor Arithmetic is a carefully curated title by Dirk Siefkes , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783662358481
- ISBN-10
- 3662358484
- Author
- Dirk Siefkes
- Publisher
- Springer
- 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
Smooth S1 Manifolds
Wolf Iberkleid, Ted Petrie
₹2,686
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
Die Leitungsanästhesie Und Injections-Behandlung Des Ganglion Gasseri Und Der Trigeminusstämme
Fritz Härtel
₹3,508
Ein Leben Mit Dem Jahrhundert
Werner Wachsmuth
₹3,508
Bestücken Von Leiterplatten Mit Industrierobotern
Ernst Wolf
₹3,508