41- 60 of 1454 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Set Theory: Exploring Independence and Truth, Author: Ralf Schindler
QUICK ADD
Set Theory: Exploring…
by Ralf Schindler
Explore Series
Paperback $89.99
Title: Mathematician for All Seasons: Recollections and Notes Vol. 1 (1887-1945), Author: Hugo Steinhaus
QUICK ADD
Mathematician for All Seasons:…
by Hugo Steinhaus, Abe Shenitzer (Translator), Robert G. Burns (Editor), Irena Szymaniec (Editor), Aleksander Weron (Editor)
#18 in Series
Paperback $129.99
Title: Combinatorial Set Theory: With a Gentle Introduction to Forcing, Author: Lorenz J. Halbeisen
QUICK ADD
Combinatorial Set Theory: With…
by Lorenz J. Halbeisen
Explore Series
Paperback $179.99
Title: Gesammelte Abhandlungen - Collected Papers, Author: Emmy Noether
QUICK ADD
Gesammelte Abhandlungen -…
by Emmy Noether, Nathan Jacobson (Editor)
Explore Series
Paperback $69.99
Title: Logical Investigations Volume 2, Author: Edmund Husserl
QUICK ADD
Logical Investigations Volume…
by Edmund Husserl, Dermot Moran (Editor), J.N. Findlay (Translator)
Explore Series
Paperback $54.99
Title: Entropy and Diversity: The Axiomatic Approach, Author: Tom Leinster
QUICK ADD
Entropy and Diversity: The…
by Tom Leinster
Paperback $53.00
Title: Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, Author: Virgile Prevosto
QUICK ADD
Tests and Proofs: 17th…
by Virgile Prevosto (Editor), Cristina Seceleanu (Editor)
#14066 in Series
Paperback $54.99
Title: Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings, Author: Mandayam Srivas
QUICK ADD
Formal Methods in…
by Mandayam Srivas (Editor), Albert Camilleri (Editor)
#1166 in Series
Paperback $54.99
Title: Propositional Attitudes: An Essay on Thoughts and How We Ascribe Them, Author: Mark Richard
QUICK ADD
Propositional Attitudes: An…
by Mark Richard
Explore Series
Paperback $65.00
Title: Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics, Author: Jan von Plato
QUICK ADD
Chapters from Gödel's…
by Jan von Plato
#6 in Series
Paperback $119.99
Title: Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Author: Jose
QUICK ADD
Logics in Artificial…
by Jose, Julio Alferes (Editor), Joao Leite (Editor)
#3229 in Series
Paperback $109.99
Title: Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, Author: Franz Baader
QUICK ADD
Automated Deduction - CADE-19:…
by Franz Baader (Editor)
#2741 in Series
Paperback $54.99
Title: Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings, Author: Arlindo L. Oliveira
QUICK ADD
Grammatical Inference:…
by Arlindo L. Oliveira (Editor)
#1891 in Series
Paperback $54.99
Title: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings, Author: Jeffrey J. Joyce
QUICK ADD
Higher Order Logic Theorem…
by Jeffrey J. Joyce (Editor), Carl-Johan H. Seger (Editor)
#780 in Series
Paperback $54.99
Title: Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings, Author: Helene Kirchner
QUICK ADD
Frontiers of Combining Systems…
by Helene Kirchner (Editor), Christophe Ringeissen (Editor)
#1794 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers, Author: Stefano Berardi
QUICK ADD
Types for Proofs and Programs:…
by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo de Liguoro (Editor)
#5497 in Series
Paperback $54.99
Title: Philosophical Logic and Logical Philosophy, Author: P.I. Bystrov
QUICK ADD
Philosophical Logic and…
by P.I. Bystrov (Editor), V. Sadovsky (Editor)
#257 in Series
Paperback $109.99
Title: Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences, Author: Carlos A. di Prisco
QUICK ADD
Set Theory: Techniques and…
by Carlos A. di Prisco (Editor), Jean A. Larson (Editor), Joan Bagaria (Editor), A.R.D. Mathias (Editor)
Paperback $109.99
Title: Handbook of Tableau Methods, Author: M. D'Agostino
QUICK ADD
Handbook of Tableau Methods
by M. D'Agostino (Editor), Dov M. Gabbay (Editor), Reiner Hähnle (Editor), J. Posegga (Editor)
Paperback $219.99
Title: Abduction and Induction: Essays on their Relation and Integration, Author: P.A. Flach
QUICK ADD
Abduction and Induction:…
by P.A. Flach (Editor), Antonis Hadjiantonis (Editor)
#18 in Series
Paperback $169.99

Pagination Links