What is a Logical System?

Main
Computers - Programming
What is a Logical System?

What is a Logical System?

Name: What is a Logical System?
ISBN: 9780198538592

Dov M. Gabbay (Editor)

0 / 4.0

0 comments

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

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.

หมวดหมู่:

Computers - Programming

ปี:

1994

สำนักพิมพ์:

Oxford University Press

ภาษา:

english

จำนวนหน้า:

466

ISBN 10:

0198538596