Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Book of Proof
Richard Hammack
Designing Brand Identity
Wheeler, Alina.
Practical Electronics for Inventors, Fourth Edition
Paul Scherz & Simon Monk
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko