Sozialgeschichte Der Informatik
Dirk Siefkes
₹2,779
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
by Dirk Siefkes, Gert H. Mller
Springer · 1970
₹2,679
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
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic by Dirk Siefkes & Gert H. Mller is a 134-page book published by Springer in 1970.
Topics covered include Predicate calculus, Sequential machine theory, Goedel's theorem and Model theory.
Book details
- ISBN-13
- 9783540049098
- ISBN-10
- 3540049096
- Authors
- Dirk Siefkes, Gert H. Mller
- Publisher
- Springer
- Published
- 1970
- Pages
- 134
- Language
- English
- Condition
- New
More by Dirk Siefkes and related titles
Formalisieren Und Beweisen
Dirk Siefkes
₹4,601
Formalisieren Und Beweisen
Dirk Siefkes
₹3,508
Büchi's Monadic Second Order Successor Arithmetic
Dirk Siefkes
₹4,988
Gi-4.Jahrestagung
Dirk Siefkes
₹3,143
Fundamental and Applied Nano-Electromagnetics II
Antonio Maffucci, Sergey A. Maksimenko
₹8,123
Automata, Languages and Programming
G. Ausiello, C. Böhm
₹5,696
Adaptive Control of Bio-Inspired Manufacturing Systems
Dunbing Tang, Kun Zheng, Wenbin Gu
₹4,646
Trends in Intelligent Robotics
Prahlad Vadakkepat, Jong-Hwan Kim, Norbert Jesse
₹5,576
Zwischen Zwei Disziplinen
Martina Schneider
₹4,237
Food Insecurity, the Obesity Crisis, and Exploitation in the US Food System
Robert A. Skipper Clement Loo
₹2,904
RNA Editing
H. Ulrich Göringer
₹4,118