3 books • 4 series
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Memoirs of the American Mathematical Society)
Above Center of Mass Command
Logic for Applications (Texts & Monographs in Computer Science) (Monographs in Computer Science) (Texts in Computer Science)