Three Views of Logic: Mathematics, Philosophy, and Computer ...
Donald W. Loveland & Richard E. Hodel & S. G. Sterrett
Proof Theory of Modal Logic
Heinrich Wansing
Europe 1789 to 1914: Encyclopedia of the Age of Industry and ...
John M. Merriman & J. M. Winter
Beginning Mathematica and Wolfram for Data Science: Applications ...
Jalil Villalobos Alva
An Encyclopedia of Shamanism N-Z
Christina Pratt
The Bourne Identity
Robert Ludlum
The Bourne Supremacy