• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
What Is a Logical System?

What Is a Logical System?

Hardcover

Series: Studies in Logic and Computation, Book 4

FictionGeneral ComputersLogic

ISBN10: 0198538596
ISBN13: 9780198538592
Publisher: OUP Oxford
Published: Jan 26 1995
Pages: 464
Weight: 1.85
Height: 1.33 Width: 6.30 Depth: 9.24
Language: English
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.

Also in

Fiction