Richard Zach

4 books

forall x: Calgary: An Introduction to Formal Logic by Richard Zach, Tim Button, J. Robert Loftis, P.D. Magnus, Aaron Thomas-Bolduc, Robert Trueman

forall x: Calgary: An Introduction to Formal Logic

Richard Zach, Tim Button, J. Robert Loftis, P.D. Magnus, Aaron Thomas-Bolduc, Robert Trueman

398 pages • first pub 2019 (editions)

nonfiction philosophy challenging informative lighthearted medium-paced
Incompleteness and Computability: An Open Introduction to Gödel's Theorems by Richard Zach
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
—
Richard Zach

Incompleteness and Computability: An Open Introduction to Gödel's Theorems

Richard Zach

281 pages • missing pub info (editions)

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by Richard Zach, Sergio Galvan, Paolo Mancosu

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Richard Zach, Sergio Galvan, Paolo Mancosu

432 pages • missing pub info (editions)

challenging informative reflective medium-paced
Sets, Logic, Computation: An Open Introduction to Metalogic by Richard Zach
Sets, Logic, Computation: An Open Introduction to Metalogic
—
Richard Zach

Sets, Logic, Computation: An Open Introduction to Metalogic

Richard Zach

388 pages • missing pub info (editions)

medium-paced