Get Free Shipping on orders over $0
What is a Logical System? : Studies in Logic and Computation - D. M. Gabbay

What is a Logical System?

By: D. M. Gabbay

Hardcover | 8 December 1994

At a Glance

Hardcover


RRP $424.00

$303.75

28%OFF

or 4 interest-free payments of $75.94 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

Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Logic : A Very Short Introduction - Graham Priest

RRP $21.95

$16.99

23%
OFF
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Parabolic Problems : 60 Years of Mathematical Puzzles in Parabola - David Angell
Axiomatic Set Theory : An Introduction - George Tourlakis
The Book of Infinity - Joel David Hamkins

RRP $160.00

$120.99

24%
OFF