Labelled Deduction
Dov M. Gabbay & David Basin & M. D'Agostino & Seán Matthews & Luca Viganò
WebGL Programming Guide: Interactive 3D Graphics Programming ...
Kouichi Matsuda & Rodger Lea
Medieval & Renaissance Furniture: Plans & Instructions for Historical ...
Daniel Diehl & Mark Donnelly
Proceedings of the 9th International Congress of Logic, Methodology ...
Dag Prawitz & Brian Skyrms & Dag Westerståhl
Leonardo Da Vinci: A Life From Beginning to End
Hourly History
The Childhood of Jesus: Decoding the Apocryphal Infancy Gospel ...
Reidar Aasgaard
The Encyclopedia of World History: Ancient, Medieval, and Modern ...
William L. Langer