Interactive Theorem Proving...
Yves Bertot,
G. Huet (Foreword by)
Buy new from $84.53
|
The Foundations of Arithmetic...
Gottlob Frege
Buy new from $19.56
|
What Logics Mean: From Proof...
James W. Garson
Buy new from $43.62
|
Sets, Logic and Categories
Peter J Cameron
Buy new from $62.06
|
Set Theory and the Continuum...
Paul J Cohen
Buy new from $8.99
|
The Foundations of...
Frank Plumpton Ramsey,
R B Braithwaite (Editor)
Buy new from $20.24
|
An Introduction to Hilbert...
Professor David W Cohen
Buy new from $84.53
|
Mathematical Logic: A First...
Joel W Robbin
Buy new from $10.45
|
Mathematical Logic
Joseph R Shoenfield
Buy new from $60.11
eBook from $35.20
|
How to Prove It: A Structured...
Daniel J Velleman
Buy new from $62.03
|
Mathematical Fallacies and...
Bryan Bunch
Buy new from $8.17
eBook from $10.95
|
Set Theory and Its Logic:...
Willard Van Orman Quine
Buy new from $44.34
eBook from $43.00
|
Schaum's Outline of Discrete...
Seymour Lipschutz,
Marc Lipson
Buy new from $16.02
eBook from $23.00
|
Logic for Mathematics and...
Stanley N Burris
Buy new from $74.85
|
Collected Works: Volume I:...
Kurt Godel,
Solomon Feferman (Editor)
Buy new from $114.66
eBook from $43.99
|
Mathematical Structures in...
Edward L Keenan,
Lawrence S Moss
Buy new from $28.50
|
Logical Forms: An...
Mark Sainsbury
Buy new from $61.05
|
Introduction to Proofs and...
Shay Fuchs
Buy new from $39.25
eBook from $36.00
|
A Bridge to Higher Mathematics
Valentin Deaconu
Buy new from $116.47
eBook from $66.00
|
How to Prove It: A Structured...
Daniel J Velleman
Buy new from $92.87
|
Simply Logical: Intelligent...
Peter Flach
Buy new from $150.22
|
Helping Students Make Sense...
Christina Schwarz, PhD
Buy new from $42.76
eBook from $23.75
|
How to Read and Do Proofs: An...
Prof. Daniel Solow
Buy new from $83.50
|
Kurt Gödel: Collected Works:...
Kurt Gödel,
S. Feferman (Editor)
Buy new from $97.58
|
How to Read and Do Proofs: An...
Daniel Solow
Buy new from $55.67
|
