Types and Programming Languages
Benjamin C. Pierce
A Level Mathematics for AQA Student Book 2 (Year 2)
Stephen Ward & Paul Fannon
An Invitation to Formal Reasoning: The Logic of Terms
George Englebretsen & Fred Sommers
Python Crash Course : A Complete Beginner's Guide for Python ...
Dan Park
8,789 Words of Wisdom: Proverbs, Precepts, Maxims, Adages, and ...
Barbara Ann Kipfer
Large-Scale Inference
Bradley Efron
A Sampler of Useful Computational Tools for Applied Geometry, ...
Daniel Cohen-Or & Chen Greif & Tao Ju & Niloy J. Mitra & Ariel Shamir & Olga Sorkine-Hornung & Hao (richard) Zhang