Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Proof Theory and Intuitionistic Systems by Bruno Scarpellini 9783540055419
Booksplease Price: $48.66Sorry no description is available for this book at this time. -
The Syntax and Semantics of Infinitary Languages by Jon Barwise 9783540042426
Booksplease Price: $54.62Sorry no description is available for this book at this time. -
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic by Martin. H Lob 9783540042402
Booksplease Price: $49.30Sorry no description is available for this book at this time. -
Automated Theorem Proving by Wolfgang Bibel 9783528185206
Booksplease Price: $97.78Sorry no description is available for this book at this time. -
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings by Didier Galmiche 9783319942049
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Advances in Proof Theory by Reinhard Kahle 9783319805139
Booksplease Price: $117.21Sorry no description is available for this book at this time. -
Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings by T. V. Gopal 9783319559100
Booksplease Price: $60.73Sorry no description is available for this book at this time. -
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings by Jasmin Christian Blanchette 9783319431437
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers by Jesse Davis 9783319237077
Booksplease Price: $51.59Sorry no description is available for this book at this time. -
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings by Christian Urban 9783319221014
Booksplease Price: $60.09Sorry no description is available for this book at this time. -
Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings by Barry O'Sullivan 9783319104270
Booksplease Price: $117.85Sorry no description is available for this book at this time. -
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland by Roman Murawski 9783034808309
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Towards a General Theory of Classifications by Daniel Parrochia 9783034806084
Booksplease Price: $120.49Sorry no description is available for this book at this time. -
Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings by Uli Fahrenberg 9783030887001
Booksplease Price: $85.09Sorry no description is available for this book at this time. -
Axiomatic Thinking II by Fernando Ferreira 9783030778019
Booksplease Price: $116.82Sorry no description is available for this book at this time. -
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday by Carsten Lutz 9783030221010
Booksplease Price: $60.73Sorry no description is available for this book at this time. -
Molecular Logic and Computational Synthetic Biology: First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers by Madalena Chaves 9783030194314
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Set Theory for Pre-Beginners - Solution Guide by Steve Warner 9781951619053
RRP: $59.33Booksplease Price: $49.70Sorry no description is available for this book at this time. -
Model Based Reasoning in Science and Engineering by Lorenzo Magnani 9781904987239
RRP: $28.38Booksplease Price: $27.41Sorry no description is available for this book at this time. -
Handbook of Formal Argumentation, Volume 2 by Dov Gabbay 9781848903364
RRP: $32.90Booksplease Price: $30.92Sorry no description is available for this book at this time. -
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 7, November 2019 by Dov Gabbay 9781848903203
RRP: $25.16Booksplease Price: $23.93Sorry no description is available for this book at this time. -
Ifcolog Journal of Logics and their Applications. Special Issue Dedicated to the Memory of Grigory Mints. Volume 4, number 4 by Dov Gabbay 9781848902404
RRP: $31.61Booksplease Price: $30.84Sorry no description is available for this book at this time. -
Infinity, Computability and Metamathematics by Stefan Geschke 9781848901308
RRP: $29.67Booksplease Price: $28.53Sorry no description is available for this book at this time. -
Logic Across the University: Foundations and Applications by Johan van Benthem 9781848901223
RRP: $23.87Booksplease Price: $22.82Sorry no description is available for this book at this time. -
Advances in Modal Logic Volume 8: Volume 8 by Lev Beklemishev 9781848900134
RRP: $25.80Booksplease Price: $25.19Sorry no description is available for this book at this time. -
The Scientific Art of Logic by Edward D Simmons 9781666749823
RRP: $38.70Booksplease Price: $28.97Sorry no description is available for this book at this time. -
Computability and Models: Perspectives East and West by Barry S. Cooper 9781461352259
Booksplease Price: $116.82Sorry no description is available for this book at this time. -
Larch: Languages and Tools for Formal Specification by S.J. Garland 9781461276364
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Geophysical Applications of Artificial Neural Networks and Fuzzy Logic by William Sandham 9781402017292
Booksplease Price: $117.21Sorry no description is available for this book at this time. -
Logical and Computational Aspects of Model-Based Reasoning by Lorenzo Magnani 9781402007125
Booksplease Price: $117.21Sorry no description is available for this book at this time. -
Paradoxes and Inconsistent Mathematics by Zach Weber 9781108834414
Booksplease Price: $107.07Sorry no description is available for this book at this time. -
The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning by Gil Sagi 9781108435543
Booksplease Price: $42.52Sorry no description is available for this book at this time. -
Infinity: New Research Frontiers by Michael Heller 9781107685482
Booksplease Price: $67.73Sorry no description is available for this book at this time. -
Kurt Goedel: Essays for his Centennial by Solomon Feferman 9781107683464
Booksplease Price: $60.99Sorry no description is available for this book at this time. -
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2 by Raf Cluckers 9781107648814
Booksplease Price: $77.49Sorry no description is available for this book at this time. -
Logicism and its Philosophical Legacy by William Demopoulos 9781107502581
Booksplease Price: $45.76Sorry no description is available for this book at this time. -
Logical Modalities from Aristotle to Carnap: The Story of Necessity by Max Cresswell 9781107434905
Booksplease Price: $53.37Sorry no description is available for this book at this time. -
Elements of Logical Reasoning by Jan von Plato 9781107036598
Booksplease Price: $107.07Sorry no description is available for this book at this time. -
A Set Theory Workbook by Iain Adamson 9780817640286
Booksplease Price: $59.70Sorry no description is available for this book at this time. -
Proof Analysis: A Contribution to Hilbert's Last Problem by Professor Sara Negri 9781107008953
Booksplease Price: $149.45Sorry no description is available for this book at this time.