Model Based Reasoning in Science and Engineering - Paperback

Mathematical Recreations of Lewis Carroll: Symbolic Logic and the Game of Logic - Hardcover

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, - Paperback

Advances in Modal Logic Volume 9 - Paperback

Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 15, issue 5, October 2024. Special Issue: Frontiers of Logic a - Paperback

Logic. A Primer - Paperback

9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 23-26, 1988. Proceedings - Paperback

Advances in Modal Logic Volume 8 - Paperback

Journal of Applied Logics-IfCoLog Journal of Logics and their Applications. Volume 5, number 7. Special issue: Formal Approaches to the Ontological Ar - Paperback

Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications, Volume 9, Issue 2, April 2022 - Paperback

Logical Aspects of Computational Linguistics: Second International Conference, Lacl'97, Nancy, France, September 22-24, 1997, Selected Papers - Paperback

History of Logic in China: 5 Questions - Paperback

Routledge Philosophy GuideBook to Frege on Sense and Reference - Paperback

A Weaponised Field Guide to Schopenhauer's Art of Being Right: Learn to win against dirty tricks and bad faith, with analysis, defences, practical app - Paperback

The Logic of Tao Philosophy: English-Chinese Bilingual Edition - Paperback

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Paperback

Elementary Logic - Paperback

The Logic of Scientific Revolutions - Paperback

Futoshiki Mixed Grids Large Print - Easy to Hard - Volume 5 - 276 Puzzles - Paperback

Sudoku Hitori - 200 Logic Puzzles 11x11 (Volume 5) - Paperback

Ifcolog Journal of Logics and their Applications. Volume 4, number 5 - Paperback

Binary - 120 Easy To Master Puzzles 7x7 - 2 - Paperback

Formal Concept Analysis: 8th International Conference, Icfca 2010, Agadir, Morocco, March 15-18, 2010, Procedings - Paperback