Labelled Deductive Systems
Dov M. Gabbay
Sky Lift
Robert A. Heinlein
99% - Mass Impoverishment and How We Can End It
Mark Thomas
Knowledge Representation and Reasoning - Slideshow
Ronald J. Brachman & Hector J. Levesque
Austerity: The History of a Dangerous Idea
Mark Blyth
Cosmic Coincidences
John Gribbin & Martin J. Rees