What is a Logical System? (Hardcover)

D.M. Gabbay

ISBN 10: 0198538596 / ISBN 13: 9780198538592

Published by Oxford University Press, Oxford, 1994

About this Item

Hardcover. This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied. BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert KowalskiA collection of papers addressing the fundamental question "what is a logical system?" This book presents a wide spectrum of ideas on the problem, reflecting curent mainstream approaches to logic and its applications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780198538592

Bibliographic Details

Title: What is a Logical System? (Hardcover)

Publisher: Oxford University Press, Oxford

Publication Date: 1994

Binding: Hardcover

Condition: new

About this title

Synopsis:

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.

About the Author:

D. M. Gabbay is at Imperial College of Science, Technology and Medicine, University of London.