Semantic Web for the Working Ontologist: Effective Modeling ...
Dean Allemang & James Hendler & Fabien Gandon
Complexity Results and Practical Algorithms for Logics in Knowledge ...
Stephan Tobies
Mathematical Proofs: A Transition to Advanced Mathematics
Gary Chartrand & Albert D. Polimeni & Ping Zhang
Handbook of Philosophical Logic - Volume 4
Dov M. Gabbay & Franz Guenthner
Coleridge's Notebooks: A Selection
Samuel Taylor Coleridge
Philosophy and Religion
Friedrich Wilhelm Joseph von Schelling