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 5 to 7 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

Essays in Analysis : Routledge Revivals - Alice Ambrose
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
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75