A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Nicholas of Cusa's on Learned Ignorance: A Commentary on De ...
Karsten Harries
Essential Mathematics for Games and Interactive Applications ...
James M. Van Verth, Lars M. Bishop
Assemblers and Loaders
David Salomon