Logic and Computer Science (English, Steven Homer | Piergiorgio Odifreddi | Anil Nerode)
by Steven Homer | Piergiorgio Odifreddi | Anil Nerode
Delivery options
Logic and Computer Science by Steven Homer | Piergiorgio Odifreddi | Anil Nerode is listed under Mathematics on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540527343
ISBN-10
3540527346
Author
Steven Homer | Piergiorgio Odifreddi | Anil Nerode
About the Book
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog…
ISBN: 9783540527343
ISBN-13: 9783540527343
ISBN-10: 3540527346
Reader's Guide
What This Book Covers
- ·The main subject matter of Logic and Computer Science
- ·Ideas and detail relevant to Mathematics
- ·Context that helps make sense of the material as a whole
Best Suited For
Maths students and anyone who enjoys rigorous problem-solving.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Logic and Computer Science?
Logic and Computer Science starts from ₹2687 at BookBajar. Available in Paperback.
Who is the author of Logic and Computer Science?
Steven Homer | Piergiorgio Odifreddi | Anil Nerode is the author of Logic and Computer Science. Browse more books by Steven Homer | Piergiorgio Odifreddi | Anil Nerode on BookBajar.
Is Logic and Computer Science available in Paperback and Hardcover?
Yes, Logic and Computer Science is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Logic and Computer Science?
Yes, BookBajar offers free delivery for Logic and Computer Science across India. No minimum order value required.
Is Cash on Delivery available for Logic and Computer Science?
Yes, Cash on Delivery (COD) is available for Logic and Computer Science on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Logic and Computer Science?
Logic and Computer Science can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Logic and Computer Science?
Logic and Computer Science has ISBN 9783540527343 (ISBN-10: 3540527346). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Logic and Computer Science?
About the Book The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S.
Product ID: isbn-9783540527343
🛒 Customers Also Bought
Local Algebra (English, Jean-Pierre Serre | C. W. Chin)
₹5,716
A Course In The Calculus Of Variations (English, Santambrogio | Filippo)
₹3,789
Geometry, Morphology, and Computational Imaging (English, Tetsuo Asano | Reinhard Klette | Christian Ronse)
₹5,602
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Characterizations of Probability Distributions. (English, Janos Galambos | Samuel Kotz)
₹2,512
The Molecular Genetics of Lung Cancer (English, David N. Cooper)
₹5,305Related Products
Quantum Thermodynamics (English, Jochen Gemmer | M. Michel | Günter Mahler)
₹4,357
Cosmic Ray Astrophysics (English, Reinhard Schlickeiser)
₹4,271
Applications of Wet-End Paper Chemistry (English, Ian Thorn | Che On Au)
₹4,859
Relativistic Astrophysics and Cosmology (English, Peter Hoyng)
₹5,663
Perceiving Geometry (English, Catherine Q. Howe | Dale Purves)
₹1,115