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 andhow it is applied. | What is a Logical System? by D. M. Gabbay, Hardcover | Indigo Chapters