Get Free Shipping on orders over $79
What is a Logical System? : STUDIES IN LOGIC AND COMPUTATION - D. M. Gabbay

What is a Logical System?

By: D. M. Gabbay (Editor)

Hardcover | 1 October 1996

At a Glance

Hardcover


$225.45

or 4 interest-free payments of $56.36 with

 or 

Ships in 7 to 10 business days

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.
Industry Reviews

The papers present a wealth of logical systems as well as of general frameworks for the study of such systems.--Journal of Symbolic Logic


More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Cybersecurity : A Practical Introduction - Nihad A. Hassan
Cybersecurity : A Practical Introduction - Nihad A. Hassan
What Is Mathematical Logic 2E Cloth - Guillermo Badia
Cybersecurity for Internet of Health Things : 1st Edition - Mohiuddin  Ahmed
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Mathematical Puzzles : Revised Edition - Peter Winkler

RRP $56.99

$48.44

15%
OFF
Model Theory : The Algebraic Basics - Davide Rizza