Philosophy: logic
Probability Logics: Probability-Based Formalization of...
Zoran Ognjanovic, Miodrag Raskovic, et al.
£109.99
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow, Lawrence C. Paulson, et al.
£49.99