What is a Logical System? (Hardcover, New)

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.

General

Imprint:	Clarendon Press
Country of origin:	United Kingdom
Series:	Studies in Logic and Computation, 4
Release date:	December 1994
First published:	October 1996
Editors:	D. M. Gabbay (Professor of Computing Science, Department of Computing)
Dimensions:	241 x 160 x 29mm (L x W x T)
Format:	Hardcover
Pages:	464
Edition:	New
ISBN-13:	978-0-19-853859-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN:	0-19-853859-6
Barcode:	9780198538592

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!