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
ClosePreview 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...  

 

Find a copy in the library

Retrieving... 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 GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.