Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Advanced Platform Development With Kubernetes
Craig Johnston
The Mysterium Lectures: A Journey Through C.G. Jung's Mysterium ...
Edward F. Edinger & Joan Dexter Blackmer
Frontiers in Belief Revision
M. Williams & Hans Rott
Basic Linguistic Theory Volume 3: Further Grammatical Topics
R. M. W. Dixon
The Great Questions of Tomorrow
David Rothkopf
TED Books (1)