Liknande böcker

Hyperproof : For Macintosh
Bok av Jon Barwise
Normalization, Cut-Elimination, and the Theory of Proofs
Bok av A. M. Ungar
Algebraic Methods in Philosophical Logic
Bok av J. Michael Dunn
Sets for Mathematics
Bok av F. William Lawvere
Notes on Logic and Set Theory
Bok av Peter T. Johnstone
A Tour through Mathematical Logic
Bok av Robert S Wolf
The Structure of Nonstandard Models of Arithmetic
Bok av Roman Kossak
Lectures on Linear Logic
Bok av Anne Sjerp Troelstra

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0

Bok av Jon Barwise