Goodreads helps you keep track of books you want to read.
Start by marking “Natural Deduction: A Proof-Theoretical Study” as Want to Read:
Natural Deduction: A Proof-Theoretical Study
Enlarge cover
Rate this book
Clear rating
Open Preview

Natural Deduction: A Proof-Theoretical Study

3.83  ·  Rating Details ·  6 Ratings  ·  1 Review
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 ...more
Paperback, 128 pages
Published February 24th 2006 by Dover Publications (first published January 1st 1965)
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Natural Deduction, please sign up.

Be the first to ask a question about Natural Deduction

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-36)
filter  |  sort: default (?)  |  Rating Details
Alex Nelson
Jul 30, 2016 Alex Nelson rated it it was amazing
Shelves: logic
A concise yet thorough introduction to natural deduction, noteworthy if only for how it treats deductions as "trees", discharging assumptions as functions on said trees, etc.
John
John rated it really liked it
Aug 20, 2014
Will
Will rated it liked it
Aug 09, 2015
Enrico Ferla
Enrico Ferla rated it liked it
Jul 26, 2012
Jared Smith
Jared Smith rated it really liked it
Jan 12, 2014
Tommy Mcguire
Tommy Mcguire rated it really liked it
May 31, 2014
Nick Black
Nick Black marked it as to-read
Jun 04, 2008
David Scarratt
David Scarratt marked it as to-read
Jul 26, 2011
Martisch
Martisch marked it as to-read
Feb 03, 2013
Ben
Ben marked it as to-read
Apr 19, 2013
Ari
Ari marked it as to-read
Apr 27, 2013
Karan
Karan marked it as to-read
Aug 17, 2013
Dan
Dan is currently reading it
Jan 15, 2014
Alexander
Alexander marked it as to-read
Jan 12, 2014
John
John added it
Jan 30, 2014
John Ledesma
John Ledesma marked it as to-read
Mar 06, 2014
Haitham Gad
Haitham Gad marked it as to-read
May 26, 2014
CRyan64
CRyan64 marked it as to-read
Jul 06, 2014
AnimalLover
AnimalLover marked it as to-read
Aug 25, 2014
Stella Maris
Stella Maris marked it as to-read
Nov 05, 2014
Vanessa Panday
Vanessa Panday marked it as to-read
Dec 02, 2014
Johan Manner
Johan Manner marked it as to-read
Dec 28, 2014
Rodrigo Haenggi
Rodrigo Haenggi marked it as to-read
Jan 24, 2015
Telorian
Telorian marked it as to-read
Feb 10, 2015
José Alberto
José Alberto marked it as to-read
Jul 29, 2015
Jur
Jur marked it as to-read
Sep 15, 2015
K.
K. marked it as to-read
Feb 22, 2016
Douglas
Douglas marked it as to-read
Jan 30, 2016
Agata
Agata is currently reading it
Mar 08, 2016
Gregory Harrison
Gregory Harrison marked it as to-read
Jun 18, 2016
There are no discussion topics on this book yet. Be the first to start one »

Share This Book