Labelled Deduction
Dov M. Gabbay & David Basin & M. D'Agostino & Seán Matthews & Luca Viganò
An Introduction to Mathematical Logic - Lecture
Wolfram Pohlers & Thomas Glaß
Reality+
David John Chalmers
Effective Software Testing: A Developer's Guide
Mauricio Aniche
Load Lines: International Convention on Load Lines, 1966 and ...
International Maritime Organization
Okinawa: The Last Battle of World War II
Robert Leckie