You need to sign in or sign up before continuing.

Richard Zach

8 books

Boxes and Diamonds: An Open Introduction to Modal Logic by Richard Zach
Boxes and Diamonds: An Open Introduction to Modal Logic
—
Richard Zach

Boxes and Diamonds: An Open Introduction to Modal Logic

Richard Zach

268 pages • paperback

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

forall x: Calgary: An Introduction to Formal Logic

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

398 pages • paperback • 2019

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 • paperback

Incompleteness and Computability: An Open Logic Text by Richard Zach
Incompleteness and Computability: An Open Logic Text
—
Richard Zach

Incompleteness and Computability: An Open Logic Text

Richard Zach

228 pages • paperback

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

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

Sergio Galvan, Richard Zach, Paolo Mancosu

432 pages

challenging informative reflective medium-paced
Sets, Logic, Computation by Richard Zach
Sets, Logic, Computation
—
Richard Zach

Sets, Logic, Computation

Richard Zach

220 pages

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 • paperback

medium-paced
What If? An Open Introduction to Non-Classical Logics by Audrey Yap, Richard Zach

What If? An Open Introduction to Non-Classical Logics

Audrey Yap, Richard Zach

missing page info • digital • 2020 user-added