Oxford University Press Sivumäärä: 464 sivua Asu: Kovakantinen kirja Painos: Hardback Julkaisuvuosi: 1994, 08.12.1994 (lisätietoa) Kieli: Englanti
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.