What Is a Logical System? (Studies in Logic and Computation)
MIA KARTS BOOKS
What Is a Logical System? (Studies in Logic and Computation)
Book Details
- Author
- D. M. Gabbay
- Publisher
- OXFORD UNIVERSITY PRESS
- Format
- Hardcover
- Language
- English
- Category
- Logic
- Condition
- New
- ISBN-13
- 9780198538592
- ISBN-10
- 0198538596
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 0198538596
Author: Gabbay, D. M.
Condition: New
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.
Have a question?
What Is a Logical System? (Studies in Logic and Computation)
