Computers & Internet
Logic and Computer Science (English, Steven Homer | Piergiorgio Odifreddi | Anil Nerode)
₹2,687
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540527343 |
| ISBN-10 | 3540527346 |
Product Description
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
Frequently Asked Questions
What is the price of Logic and Computer Science?
Logic and Computer Science is available at ₹2,687 on BookShops.in.
Does BookShops.in offer free delivery for Logic and Computer Science?
FREE delivery on all orders for Logic and Computer Science.
Is Cash on Delivery available for Logic and Computer Science?
Yes, Cash on Delivery (COD) is available for Logic and Computer Science on BookShops.in. Pay when your order arrives.
What is the return policy for Logic and Computer Science?
BookShops.in offers a 15-day hassle-free return policy for Logic and Computer Science. Contact us at support@bookshops.in or call +91 81899 68108.
Is Logic and Computer Science authentic?
Logic and Computer Science is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-62%Computers & Internet
Shaping Membership, Defining Nation (English, Pashington Obeng)
₹5,346₹14,214
Computers & Internet
Restorative Justice (English, Marian Liebmann)
₹5,512
Computers & Internet
Domestic Life in Prehispanic Capitals (English, Linda R. Manzanilla | Claude Chapdelaine)
₹2,029
Computers & Internet
Diccionario de estudios culturales latinoamericanos (English, Mónica Szurmuk | Robert McKee Irwin)
₹3,579
Computers & Internet
Developing and Validating Rapid Assessment Instruments (English, Neil Abell)
₹4,234
-26%Computers & Internet
A "Splendid Idiosyncrasy" (English, Pamela Jane Smith)
₹5,424₹7,285