Formal Syntax and Semantics of Programming Languages: A Laboratory ...
Kenneth Slonneger & Barry L. Kurtz
Reference and Existence: The John Locke Lectures
Saul A. Kripke
Mathematical and Statistical Methods for Actuarial Sciences ...
Marco Corazza & María Durbán & Aurea Grané & Cira Perna & Marilena Sibillo
The Winter King
Bernard Cornwell
The Warlord Chronicles (1)
100 Words Almost Everyone Confuses and Misuses
American Heritage Dictionaries
Okinawa: The Last Battle of World War II
Robert Leckie