Handbook of Logic in Artificial Intelligence and Logic Programming: ...
Dov M. Gabbay & C. J. Hogger & J. A. Robinson
MI6: The History of the Secret Intelligence Service 1909-1949
Keith Jeffery
A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Encyclopedia of Renaissance Philosophy
Marco Sgarbi
Way of the Turtle: The Secret Methods That Turned Ordinary People ...
Curtis Faith
Mathematics and Modern Art
Richard S. Palais & Claude Bruter
Springer Proceedings in Mathematics (18)