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 | 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
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.99

29%
OFF
Parabolic Problems : 60 Years of Mathematical Puzzles in Parabola - David  Angell
Axiomatic Set Theory : An Introduction - George Tourlakis