Natural Deduction: A Proof-Theoretical Study. This item is unavailable.
14 ratings by Goodreads
Language: English
Published by Dover Publications, 2006
- Softcover
- Used
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
5-star seller
AbeBooks seller since March 24, 2009
Unavailable
Softcover
Condition: Used - Good
£ 5.40
Item description from seller
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Seller Inventory # G0486446557I3N00
- Title
- Natural Deduction: A Proof-Theoretical Study
- Author
- Prawitz, Dag
- Publisher
- Dover Publications
- Publication year
- 2006
- Condition
- Good
- Dust jacket
- No Jacket
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0486446557
- ISBN 13
- 9780486446554
- Item weight
- 0.35 pounds
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.
"Synopsis" may belong to another edition of this title.
Product Description
The book is brand new and will be dispatched from UK.
"About the title" may belong to another edition of this title.
Search results for Natural Deduction: A Proof-Theoretical Study
There are 14 more copies of this bookView all results