Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Full Title: | Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics) |
---|---|
ISBN: | 0486446557 |
ISBN13: | 9780486446554 |
List Price: | USD $9.36 |
Authors: |
Prawitz, Dag |