
The Profession of Modeling and Simulation
Andreas Tolk, Tuncer Ören
₹6,423

Part 2: Computation and Proof Theory: 1104
by M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, Thomas, W.
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1984 · Paperback
Free delivery. Nothing extra to pay at checkout.
Offer
Use code GIG9 at checkout and pay ₹3,236 for this book (save ₹320).
9% off every book, up to ₹500 off per order.
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory: 1104 by M. M. Richter, E.K in 1984.
Its main subjects are Computable functions, Proof theory, Mathematics and Symbolic and mathematical Logic.