The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The End of Absence
Michael Harris
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
Deuterium Depletion: A New Way in Curing Cancer and Preserving ...
Gábor Somlyai