Proof Complexity Generators
Jan Krajícek
Buy from $84.15
|
Logic and Its Applications:...
C. Aiswarya (Editor),
Prabal Kumar Sen (Editor)
Buy from $61.05
eBook from $19.50
|
Gödel's Theorems and Zermelo...
Lorenz Halbeisen,
Regula Krapf
Buy from $65.75
eBook from $21.00
|
Polygraphs: From Rewriting to...
Dimitri Ara,
Albert Burroni
Buy from $104.94
|
Simple Type Theory: A...
William M. Farmer
Buy from $79.84
eBook from $25.50
|
The Logic, Philosophy, and...
Levis Zerpa
Buy from $150.29
eBook from $44.70
|
Discrete Mathematics: A...
George Tourlakis
Buy from $73.66
|
Logic in Computer Science
Hantao Zhang,
Jian Zhang
Buy from $92.51
eBook from $19.50
|
An Introduction to Naïve Set...
Shashi Mohan Srivastava
Buy from $56.35
eBook from $18.00
|
The Forcing Method in Set...
Matteo Viale
Buy from $61.29
eBook from $16.50
|
Mathematics Before and After...
Ravi P. Agarwal
Buy from $187.87
eBook from $60.00
|
Alcuin's Recreational...
Prof. Marcel Danesi
Buy from $8.77
eBook from $22.99
|
Puzzle Me Twice: 70 Simple...
Alex Bellos
Buy from $5.39
eBook from $16.95
|
First-Order Modal Logic
Melvin Fitting,
Richard L. Mendelsohn
Buy from $187.75
|
The GCHQ Puzzle Book II
GCHQ
Buy from $26.30
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $100.32
|
Gödel's Incompleteness...
Dirk W. Hoffmann
Buy from $40.78
eBook from $16.50
|
The Times Kakuro Book 1: 200...
The Times Mind Games
Buy from $9.88
|
How to Expect the Unexpected:...
Kit Yates
Buy from $16.33
|
Is Maths Real?: How Simple...
Eugenia Cheng
Buy from $15.33
|
The Largest Suslin Axiom
Grigor Sargsyan,
Nam Trang
Buy from $89.77
|
Analysis of the Navier-Stokes...
Alexander G. Ramm
Buy from $34.67
|
An Invitation to Mathematical...
David Marker
Buy from $77.89
eBook from $24.00
|
Topics In Model Theory
Anand Pillay
Buy from $26.30
|
