ATUAN

What Is a Logical System? (Studies in Logic and Computation)

What Is a Logical System? (Studies in Logic and Computation)
By D. M. Gabbay

Publisher: Oxford University Press, USA
Number Of Pages: 464
Publication Date: 1995-01-26
ISBN-10 / ASIN: 0198538596
ISBN-13 / EAN: 9780198538592
Binding: Hardcover

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.

Free download Links

http://rapidshare.com/files/117078496/0198538596.rar
http://mihd.net/qkj1n5u/

Related Posts

• Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV (0)
• Control Using Logic-Based Switching (Lecture Notes in Control and Information Sciences) (0)
• Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV (0)
• Set Theory (0)
• Proofs and Refutations: The Logic of Mathematical Discovery (0)
• Descriptive Set Theory (0)
• Elementary Induction on Abstract Structures (0)
• Introducing Logic (0)
• Explanatory Nonmonotonic Reasoning (0)
• Introduction To The Theory Of Logic (0)

Tagged as: Logic