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 (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

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
Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.37

30%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott
MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE - SMULLYAN RAYMOND
What Is Mathematical Logic 2E Cloth - Guillermo Badia