Programming
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988: 1429 | by Steven Homer | Piergiorgio Odifreddi | Anil Nerode | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | English | 1990th Edition
₹2,687
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 This 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 Programming.- A. Scedrov: A Guide to Polymorphic Types.
About the Author
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988: 1429 is authored by Steven Homer | Piergiorgio Odifreddi | Anil Nerode.
Book Highlights
✓Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
✓Language: English
✓Publication date: 17 July 1990
✓Edition: 1990th
✓Category: Mathematics > Algebra & Trigonometry
✓Dimensions: 21.59 x 1.02 x 27.94 cm
✓Weight: 254 g
✓FREE shipping on all BookShops.in orders
✓15-day hassle-free return policy
✓Cash on Delivery (COD) available across India
✓100% genuine physical book — not an eBook or PDF
Book Specifications
| ISBN-13 | 9783540527343 |
| ISBN-10 | 3540527346 |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Language | English |
| Dimensions | 21.59 x 1.02 x 27.94 cm |
| Weight | 254 g |
| Country | India |
| Category | Mathematics › Algebra & Trigonometry |
| author | Steven Homer | Piergiorgio Odifreddi | Anil Nerode |
Frequently Asked Questions
What is Logic and Computer Science about?
It is a collection of five advanced papers from the 1988 C.I.M.E. Summer School, covering topics like the Isomorphism Conjecture, intuitionistic logic, program proofs, Prolog programming, and polymorphic types.
Who are the authors of this book?
The authors are Steven Homer, Piergiorgio Odifreddi, and Anil Nerode, all respected scholars in logic and computer science.
What is the ISBN for this book?
The ISBN is 9783540527343.
Is this book suitable for beginners?
No, it is aimed at graduate students, researchers, and professionals with a solid background in formal logic or theoretical computer science.
Is this book available in hardcover?
Yes, it is a hardcover edition, offering durability for academic use.
Does this book include digital access or e-book?
No, this is a physical print book only. No digital formats are included.
What topics are covered in the papers?
Topics include the Isomorphism Conjecture, intuitionistic logic, proofs of programs, Prolog programming, and polymorphic types.
Who is the publisher?
The publisher is Springer-Verlag Berlin and Heidelberg GmbH & Co. K, part of the C.I.M.E. Foundation Subseries.
Can I use this book for self-study?
Yes, if you have the necessary background, the papers are self-contained and suitable for independent study.
Customers Also Bought
Programming
Object-Oriented Software Engineering: Practical Software Development Using UML and Java: Practical Software Development using UML and Java, Second Edition | by Timothy Christian Lethbridge | Robert Laganiere | McGraw-Hill | English | 2nd Revised ed. Edition
₹5,380
Programming
Joe Celko's SQL Programming Style | by Joe Celko | Morgan Kaufmann Pub | English | Illustrated Edition
₹2,346
Programming
Understanding Unix/Linux Programming: A Guide to Theory and Practice | by Bruce Molay | Pearson College Div | English | 1st Edition
₹4,168
Programming
Practical Programming in Tcl and Tk | by Brent Welch | Ken Jones | Prentice Hall | English | Subsequent Edition
₹5,381
Programming
Mips Assembly Language Programming | by Professor Emeritus Britton Robert | Pearson Education | English
₹4,312
Programming
INTRODUCTION TO PYTHON FOR SCIENCE AND ENGINEERING, 1ST EDITION | by David J. Pine | CRC Press | English | 1st Edition
₹4,226
Related Products
View AllProgramming
INTRODUCTION TO PYTHON FOR SCIENCE AND ENGINEERING, 1ST EDITION | by David J. Pine | CRC Press | English | 1st Edition
₹4,226
Programming
Object-Oriented Software Engineering: Practical Software Development Using UML and Java: Practical Software Development using UML and Java, Second Edition | by Timothy Christian Lethbridge | Robert Laganiere | McGraw-Hill | English | 2nd Revised ed. Edition
₹5,380
Programming
Joe Celko's SQL Programming Style | by Joe Celko | Morgan Kaufmann Pub | English | Illustrated Edition
₹2,346
Programming
Understanding Unix/Linux Programming: A Guide to Theory and Practice | by Bruce Molay | Pearson College Div | English | 1st Edition
₹4,168
Programming
Practical Programming in Tcl and Tk | by Brent Welch | Ken Jones | Prentice Hall | English | Subsequent Edition
₹5,381
Programming
Mips Assembly Language Programming | by Professor Emeritus Britton Robert | Pearson Education | English
₹4,312