Computation Theory and Logic
Egon Börger
₹5,603
CSL '87
1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings
by Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,551
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
This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540502418
- ISBN-10
- 3540502416
- Authors
- Egon Börger, Hans Kleine Büning, Michael M. Richter
- Publisher
- Springer
- Condition
- New
More by Egon Börger and related titles
Computer Science Logic
Egon Börger, Yuri Gurevich, Karl Meinke
₹5,615
Berechenbarkeit, Komplexität, Logik
Egon Börger
₹3,508
CSL '89
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,598
Csl'88
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,580
Computer Science Logic
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,581
Computer Science Logic
Egon Börger, Gerhard Jäger, Hans Kleine Büning
₹5,657
Computer Science Logic
Egon Börger, Gerhard Jäger, Hans Kleine Büning
₹5,666
Electronic Customer Care
Andreas Muther
₹2,412
Das Vorzeichnen Im Kessel- Und Apparatebau
A. Dorl, H. Haake, E. Lorenz
₹3,246
Syphilis
A. Bittorf, C. Evelbauer, A. Gigon
₹3,508
Innovative Superhard Materials and Sustainable Coatings for Advanced Manufacturing
Jay Lee, V. Turkevich, Nikolay Novikov
₹5,225