Gödel '96
Petr Hájek
Text Data Management and Analysis: A Practical Introduction ...
Chengxiang Zhai & Sean Massung
Lectures on the Orbit Method
Aleksandr Aleksandrovich Kirillov
Natural Language Processing in Prolog: An Introduction to Computational ...
Gerald Gazdar & Christopher S. Mellish
QI: The Book of the Dead
John Lloyd & John Mitchinson
Philosophy and Theurgy in Late Antiquity
Algis Uzdavinys & John F. Finamore