Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
by Dag Prawitz
ISBN 13: 9780486446554
Format: Illustrated (113 pages) Publisher: Dover Publications Inc. Published: 31 Mar 2006
Save for later
Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic, Methodologyand Philosophy of Science: 236 (Synthese Library)
by Dag Prawitz,International Congress of Logic Methodol,D. Prawitz
ISBN 13: 9780792327028
Format: Illustrated (628 pages) Publisher: Springer Published: 31 Mar 1994