| What Is a Logical System? Contributor(s): Gabbay, D. M. (Editor) |
|
 |
ISBN: 0198538596 ISBN-13: 9780198538592 Publisher: Clarendon Press OUR PRICE: $204.25 Product Type: Hardcover Published: January 1995 Annotation: This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics. |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Logic Design - Philosophy | Logic |
| Dewey: 511.3 |
| LCCN: 94033666 |
| Physical Information: 1.33" H x 6.3" W x 9.24" (1.85 lbs) 464 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics. |