
Logic and Computer Science (English, Steven Homer | Piergiorgio Odifreddi | Anil Nerode)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540527343 |
| ISBN-10 | 3540527346 |
| Author | Steven Homer | Piergiorgio Odifreddi | Anil Nerode |
Product Description
Here on GlowMirror, you'll find Logic and Computer Science filed under Mathematics -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·Rigorous mathematical concepts covered in Logic and Computer Science
- ·Step-by-step proofs, theorems, and worked examples
- ·Applications and connections to other branches of mathematics
Who Should Read This
Mathematics students, researchers, and anyone who enjoys problem-solving.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy











