About This Book
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logi...
More by Geoffrey Hunter
Reading Time Estimates
7h 44m
slow reader
180 WPM
5h 34m
average reader
250 WPM
3h 59m
fast reader
350 WPM
π 83,600 wordsπ
12 days at 30 min/day
How Long Will It Take You?
β‘
Get your personal reading time for "Metalogic"
Take a 60-second speed test β we'll calculate how long this book will take you
WPM
Reading time
5 h 34 min
at 250 words per minute
Audiobook (1.5x)
6 h 12 min
at 1.5x narration speed
Audio 1x
9 h 17 min
Audio 2x
4 h 39 min
That's about:
- π 12 daysΒ reading 30 min/day
- π12 commutesΒ of 30 min each