Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
The Play of Masks
Frithjof Schuon
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
The Essential Cantong qi
Golden Elixir Press