Handbook of Logic in Computer Science. Volume 1 Background Mathematical ...
Dov M. Gabbay & Samson Abramsky & Thomas S. E. Maibaum
A History of the Crusades, Vol. V; The Impact of the Crusades ...
Harry W. Hazard & Norman P. Zacour
Levels of Infinity: Selected Writings on Mathematics and Philosophy
Hermann Weyl & Peter Pesic
Knowledge Representation and Reasoning
Ronald J. Brachman & Hector J. Levesque & Maurice Pagnucco
The Philosophy of Christopher Nolan
Jason T. Eberl & George A. Dunn
Weed, Inc.
Ben Cort