Crossroads of Computability...
Arnold Beckmann (Editor),
Isabel Oitavem (Editor)
Buy from $140.50
eBook from $41.70
|
Proof Complexity Generators
Jan Krajícek
Buy from $61.74
|
The Univalence Principle
Benedikt Ahrens,
Paige Randall North
Buy from $115.74
|
An Invitation to Mathematical...
David Marker
Buy from $94.78
|
Polygraphs: From Rewriting to...
Dimitri Ara,
Albert Burroni
Buy from $113.94
|
Discrete Mathematics: A...
George Tourlakis
Buy from $80.66
|
Logic in Computer Science
Hantao Zhang,
Jian Zhang
Buy from $70.05
eBook from $19.50
|
The Forcing Method in Set...
Matteo Viale
Buy from $54.33
eBook from $16.50
|
Puzzle Me Twice: 70 Simple...
Alex Bellos
Buy from $12.72
|
Programs as Diagrams: From...
Dusko Pavlovic
Buy from $107.32
|
Gödel's Incompleteness...
Dirk W. Hoffmann
Buy from $47.78
eBook from $16.50
|
The Times Kakuro Book 1: 200...
The Times Mind Games
Buy from $7.37
|
How to Expect the Unexpected:...
Kit Yates
Buy from $10.14
|
Is Maths Real?: How Simple...
Eugenia Cheng
Buy from $10.00
|
Analysis of the Navier-Stokes...
Alexander G. Ramm
Buy from $30.18
|
Towers and the First-Order...
Vincent Guirardel,
Gilbert Levitt
Buy from $92.12
|
Topics In Model Theory
Anand Pillay
Buy from $35.30
|
Computability and Complexity:...
Rod Downey
Buy from $47.66
eBook from $18.00
|
Mathematical Intelligence:...
Junaid Mubeen
Buy from $10.00
|
The Mathematical...
Shahen Hacyan
Buy from $100.66
|
From Computational Logic to...
Domenico Cantone (Editor),
Alfredo Pulvirenti (Editor)
Buy from $74.75
eBook from $21.00
|
Peter Schroeder-Heister on...
Thomas Piecha (Editor),
Kai F. Wehmeier (Editor)
Buy from $41.21
|
Simple Type Theory: A...
William M. Farmer
Buy from $65.65
|
Foundations of Logic:...
Dag Westerstċhl
Buy from $45.28
|