Natural Deduction: A Proof-Theoretical Study

Author:	Dag Prawitz
ISBN:	0486446557 , 9780486446554
Publisher:	Dover Publications
Date:	2006-02-24
List Price:	~~$9.95~~
Price:	$9.95 Buy it On Amazon.com
You Save:	$0.00 (0%)

Have you read the book?

I'm reading I've read it Want to read X

Your Rating:

Book List：

Add to my Book List

Add to your blog or social websites:

JavaScript Code	Flash Code
Add to Facebook	Add to MySpace
Add to iGoogle	Add to Blogger

Create your own review:

You can find the book in these categories:

US Books > Nonfiction > Philosophy > Logic & Language

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.

United States - United Kingdom - Canada - China
About Us - Privacy Policy - Terms of Service - Contact Us - Our Blog
BookGadget: Your Online Bookshelf © 2008