skip to content
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

Natural deduction : a proof-theoretical study
Preview this item

Natural deduction : a proof-theoretical study

Author: Dag Prawitz
Publisher: Mineola, N.Y. : Dover Publications, 2006.
Series: Dover books on mathematics
Edition/Format: Book : English : Dover edView all editions and formats
Rating:

Retrieving ratings and reviews data...  

Get this item

Borrow or obtain a copy

Finding libraries that hold this item...

Details

Named Person: Gerhard Gentzen
Document Type: Book
All Authors / Contributors: Dag Prawitz
ISBN: 0486446557 9780486446554
OCLC Number: 61296001
Notes: Originally published: Stockholm : Almqvist & Wiksell, 1965.
Description: viii, 113 p. : ill. ; 22 cm.
Series Title: Dover books on mathematics
Responsibility: Dag Prawitz.
More information:

Reviews

Retrieving WorldCat reviews...
Retrieving EMRO reviews...
Retrieving weRead reviews...
Retrieving Amazon reviews...

Tags

Be the first.