Proof Complexity Generators
Jan Krajícek
Buy from $84.15
|
Polygraphs: From Rewriting to...
Dimitri Ara,
Albert Burroni
Buy from $104.94
|
Logic in Computer Science
Hantao Zhang,
Jian Zhang
Buy from $92.51
eBook from $19.50
|
Discrete Mathematics: A...
George Tourlakis
Buy from $73.66
|
The Forcing Method in Set...
Matteo Viale
Buy from $61.29
eBook from $16.50
|
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
|
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.89
|
How to Expect the Unexpected:...
Kit Yates
Buy from $16.33
|
Is Maths Real?: How Simple...
Eugenia Cheng
Buy from $15.65
|
Analysis of the Navier-Stokes...
Alexander G. Ramm
Buy from $34.67
|
Topics In Model Theory
Anand Pillay
Buy from $26.30
|
Computability and Complexity:...
Rod Downey
Buy from $42.92
eBook from $18.00
|
Mathematical Intelligence:...
Junaid Mubeen
Buy from $15.28
|
The Mathematical...
Shahen Hacyan
Buy from $93.66
|
Peter Schroeder-Heister on...
Thomas Piecha (Editor),
Kai F. Wehmeier (Editor)
Buy from $46.48
|
Foundations of Logic:...
Dag Westerstĺhl
Buy from $60.19
|
Simple Type Theory: A...
William M. Farmer
Buy from $40.73
|
Dynamic Logic. New Trends and...
Nina Gierasimczuk (Editor),
Fernando R. Velázquez-Quesada (Editor)
Buy from $56.34
eBook from $18.00
|
Prawitz's Epistemic Grounding...
Antonio Piccolomini d'Aragona
Buy from $122.11
|
Multilevel Modeling of Secure...
Bogdan Ksiezopolski
Buy from $78.50
|
Extensions of the Axiom of...
Paul B. Larson
Buy from $105.29
|
