Product Details
Natural Deduction: A Proof-Theoretical Study

Natural Deduction: A Proof-Theoretical Study
By Dag Prawitz

Price: $9.95 & eligible for FREE Super Saver Shipping on orders over $25. Details

Availability: Usually ships in 24 hours
Ships from and sold by Amazon.com

26 new or used available from $4.98

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.

Product Details

  • Amazon Sales Rank: #595920 in Books
  • Published on: 2006-02-24
  • Original language: English
  • Number of items: 1
  • Binding: Paperback
  • 128 pages