
Programming
Logical Foundations of Computer Science (English, Anil Nerode | Yu V. Matiyasevich)
₹5,580
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
About the Book
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work provi…
ISBN: 9783540581406
Book Specifications
| ISBN-13 | 9783540581406 |
| ISBN-10 | 3540581405 |
| Publisher | Springer |
| Category | Programming |
Frequently Asked Questions
What is the price of Logical Foundations of Computer Science?
Logical Foundations of Computer Science is available at ₹5,580 on BookShops.in.
Does BookShops.in offer free delivery for Logical Foundations of Computer Science?
FREE delivery on all orders for Logical Foundations of Computer Science.
Is Cash on Delivery available for Logical Foundations of Computer Science?
Yes, Cash on Delivery (COD) is available for Logical Foundations of Computer Science on BookShops.in. Pay when your order arrives.
What is the return policy for Logical Foundations of Computer Science?
BookShops.in offers a 15-day hassle-free return policy for Logical Foundations of Computer Science. Contact us at support@bookshops.in or call +91 95575 56855.
Is Logical Foundations of Computer Science authentic?
Logical Foundations of Computer Science is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought

Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223

Programming
Global Software Development Handbook | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerb
₹4,817

Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793

Programming
Starting Out With Java: From Control Structures Through Data Structures | by Tony Gaddis | Godfrey Muganda | Pearson College Div | English | 4th Edition
₹5,468

Programming
Statistics Using Python | by Oswald Campesato | Mercury Learning & Information | English
₹3,807

Programming
Mathematical Programming With Data Perturbations II: 85 | by Fiacco | CRC Pr I Llc | English | 2nd Edition
₹5,373
Related Products
View All
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223

Programming
Global Software Development Handbook | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerbach Publications | by Raghvinder Sangwan | Auerb
₹4,817

Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793

Programming
Starting Out With Java: From Control Structures Through Data Structures | by Tony Gaddis | Godfrey Muganda | Pearson College Div | English | 4th Edition
₹5,468

Programming
Statistics Using Python | by Oswald Campesato | Mercury Learning & Information | English
₹3,807

Programming
Mathematical Programming With Data Perturbations II: 85 | by Fiacco | CRC Pr I Llc | English | 2nd Edition
₹5,373
