Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Conservation of Orbital Symmetry
R B Woodward, Roald Hoffmann
Archimedes Netz, Reviel (ed.)
The works of Archimedes. Vol. 2 On spirals-Cambridge University ...
Portfolios of the Poor
Daryl Collins & Jonathan Morduch & Stuart Rutherford & Orlanda Ruthven
The analects of Confucius
Confucius