Logic and Computer Science (English, Steven Homer | Piergiorgio Odifreddi | Anil Nerode)
by Steven Homer | Piergiorgio Odifreddi | Anil Nerode
Delivery options
₹2,687
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹2,687
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
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.
Product ID: isbn-9783540527343
🛒 Customers Also Bought
Quantum Mechanics (English, Julian Schwinger | Berthold-Georg Englert)
₹11,950
Zivilrechtliche Mietpreiskontrolle (English, Jürgen Keller)
₹3,508
Faktorenanalyse (English, K. Überla)
₹3,508
The Newton-Cauchy Framework (English, John L. Nazareth)
₹5,433
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Chandragupta Maurya: The Creation of a National Hero in India (English, Paperback, Sushma Jansari)
₹2,640Related Products
Software Engineering Education (English, Jorge L. Diaz-Herrera)
₹11,549
Datenstrukturen in Apl2 (English, Hanspeter Bieri | Felix Grimm)
₹3,873
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229
Wind Resistant Design of Bridges in Japan (English, Yozo Fujino | Kichiro Kimura | Hiroshi Tanaka)
₹11,436