Natural deduction
a proof-theoretical study
Our rough guess is there are 32,000 words in this book.
At a pace averaging 250 words per minute, this book will take 2 hours and 8 minutes to read. With a half hour per day, this will take 4 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
We earn a commission on purchases
Author
Publication
2006 - Dover Publications, Mineola, NY, New York (State)
Language
English
Word Count
32,000 words, Guess
Page Count
128 pages
Identifiers
- Open LibraryOL3427728M
- ISBN-100486446557
- OCLC Control Number61296001
- OCLC Control Numbernaturaldeduction00praw
- Library of Congress Control Number2005051968
and 2 more
- LibraryThing765394
- Goodreads1852806
Classifications
- DDC162
- LCCBC71 .P68 2006
Subjects
Topics
People
Other Editions
- Natural deduction
Similar Books
Tractatus logico-philosophicus
Ludwig Wittgenstein ; translated by C.K. Ogden ; with an introduction by Bertrand Russell.
Computability and logic
George Boolos, Richard Jeffrey.
Introduction to mathematical logic
Elliott Mendelson.
Meaning and Necessity: A Study in Semantics and Modal Logic (Midway Reprint)
Rudolf Carnap
How to prove it: a structured approach
Daniel J. Velleman.
Translations from the philosophical writings of Gottlob Frege.
edited by Peter Geach and Max Black.
An introduction to Wittgenstein's Tractatus
[by] G. E. M. Anscombe.
Principia mathematica: to [asterisk]56
Alfred North Whitehead and Bertrand Russell.
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!