Discount Price: $9.95
Price fluctuation possible.
How soon does it ship: Normal ship time within one day
Shipping? Absolutely FREE if you qualify for Super Saver Shipping.
Type of bind: Paperback
Dewey Decimal Number: 162
EAN num: 9780486446554
ISBN number: 0486446557
Label: Dover Publications
Manufacturer: Dover Publications
Quantity: 1
Page Count: 128
Printing Date: February 24, 2006
Publishing house: Dover Publications
Sale Popularity Level: 214987
Studio: Dover Publications
Other books you might be interested in perusing:
Editor's Notes and Comments:
Product Description:
Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
Find other books like this one:
