Proof Complexity Generators
Jan Krajícek
Buy from $84.15
|
Gödel's Theorems and Zermelo...
Lorenz Halbeisen,
Regula Krapf
Buy from $65.75
eBook from $21.00
|
Das mengentheoretische Unabh...
Deborah Kant
Buy from $16.90
eBook from $3.00
|
Foundations of Software...
Parosh Aziz Abdulla (Editor),
Delia Kesner (Editor)
Buy from $46.96
|
Mathematische Geschichten für...
Susanne Schindler-Tschirner,
Werner Schindler
Buy from $28.17
eBook from $6.00
|
Logic and Its Applications:...
C. Aiswarya (Editor),
Prabal Kumar Sen (Editor)
Buy from $61.05
eBook from $19.50
|
Simple Type Theory: A...
William M. Farmer
Buy from $79.84
eBook from $25.50
|
The Connectives in Logic and...
Jialiang Yan (Editor),
Mingming Liu (Editor)
Buy from $51.65
eBook from $16.50
|
Sum Stories: Equations and...
Robin Wilson
Buy from $41.90
eBook from $22.99
|
Polygraphs: From Rewriting to...
Dimitri Ara,
Albert Burroni
Buy from $104.94
|
Diskrete Mathematik für die...
Mihyun Kang,
Philipp Sprüssel
Buy from $16.90
eBook from $3.00
|
Institution-independent Model...
Razvan Diaconescu
Buy from $150.29
eBook from $44.70
|
Human and Artificial...
Jean Baratgin (Editor),
Baptiste Jacquet (Editor)
Buy from $75.14
eBook from $24.00
|
New Directions in Relevant...
Igor Sedlár (Editor),
Shawn Standefer (Editor)
Buy from $150.29
eBook from $44.70
|
The Logic, Philosophy, and...
Levis Zerpa
Buy from $150.29
eBook from $44.70
|
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
|
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 $51.65
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 $12.00
eBook from $22.99
|
Puzzle Me Twice: 70 Simple...
Alex Bellos
Buy from $8.40
eBook from $16.95
|
First-Order Modal Logic
Melvin Fitting,
Richard L. Mendelsohn
Buy from $187.75
|