Simple Type Theory: A...
William M. Farmer
Buy new from $61.05
eBook from $19.50
|
Computability and Randomness
Andr? Nies
Buy new from $69.55
eBook from $37.70
|
Treatise on Intuitionistic...
Johan Georg Granstr÷m
Buy new from $150.28
eBook from $44.70
|
Mathematical Logic
Heinz-Dieter Ebbinghaus,
J÷rg Flum
Buy new from $46.96
eBook from $16.50
|
Puzzle Me Twice: 70 Simple...
Alex Bellos
Buy new from $11.99
eBook from $16.95
|
Godel's Proof
Ernest Nagel,
James R Newman
Buy new from $6.86
eBook from $4.50
|
An Invitation to Abstract...
B?la Bajnok
Buy new from $36.74
eBook from $16.50
|
Exploring Mathematics: An...
John Meier,
Derek Smith
Buy new from $59.97
eBook from $40.80
|
Elements of Finite Model...
Leonid Libkin
Buy new from $93.92
eBook from $26.70
|
An Introduction to Non...
Graham Priest
Buy new from $40.98
eBook from $36.00
|
The Pea and the Sun: A...
Leonard M Wapner
Buy new from $83.51
eBook from $21.45
|
G÷del's Theorem: An...
Torkel Franz?n
Buy new from $49.17
eBook from $26.95
|
An Invitation to Mathematical...
David Marker
Buy new from $80.35
eBook from $24.00
|
Geometry
Israel M. Gelfand,
Tatiana Alekseyevskaya (Gelfand)
Buy new from $42.25
eBook from $13.50
|
Turing Computability: Theory...
Robert I Soare
Buy new from $61.04
eBook from $19.50
|
Burden of Proof, Presumption...
Douglas Walton
Buy new from $18.66
eBook from $24.80
|
Quantitative Reasoning:...
Eric Zaslow
Buy new from $31.39
eBook from $33.99
|
Alan Turing's Systems of...
Andrew W. Appel (Editor)
Buy new from $11.45
eBook from $14.95
|
G÷del's Incompleteness...
Dirk W. Hoffmann
Buy new from $51.64
eBook from $16.50
|
Exploring Formalisation: A...
Clara L÷h
Buy new from $57.98
eBook from $16.50
|
Crossing the River with Dogs:...
Ken Johnson,
Ted Herr
Buy new from $79.98
eBook from $44.00
|
Topics In Model Theory
Anand Pillay
Buy new from $26.30
eBook from $22.00
|
How to Read and Do Proofs: An...
Prof. Daniel Solow
Buy new from $49.25
eBook from $21.00
|
Why is There Philosophy of...
Ian Hacking
Buy new from $23.18
eBook from $26.40
|
