Labelled Deduction
Dov M. Gabbay & David Basin & M. D'Agostino & Seán Matthews & Luca Viganò
Knowledge Representation, Reasoning and Declarative Problem ...
Chitta Baral
The 2nd Scientific American Book of Mathematical Puzzles & Diversions
Martin Gardner
MicroPython for the Internet of Things: A Beginner’s Guide to ...
Charles Bell
Methods of Interpreting Plato and His Dialogues
Nicholas D. Smith & James Carl Klagge
Cluster Computing: Architectures, Operating Systems, Parallel ...
Richard S. Morrison