A Logical Approach to Discrete Math

NORMALIZATION, CUT-ELIMINATION, AND THE THEORY OF PROOFS By A. M. Ungar

The Key Texts of Political Philosophy: An Introduction by Thomas L. Pangle (Engl

Logic, Language and Computation : Festschrift in Honor of Satoru

In Search of Perfection: Reinventing Kitchen Classics by Heston Blumenthal (Engl

Computable Set Theory by Cantone, Ferro & Omodeo Volume One ISBN 019853807E

Only EKG Book You'll Ever Need by Malcolm S. Thaler (2015, Trade Paperback)

Constructing Leisure: Historical and Philosophical Debates by K. Spracklen (Engl