Proof-theoretical Coherence (Studies in Logic)
Publisher: King's College Publications
Published: December 31, 2004
Language: eng
Format: Paperback
Number of pages: 392
ISBN-13: 9781904987062
Subjects: Mathematical logic; Computers - General Information; Computers; Computer Books: General; General