Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
The Cambridge Handbook of Linguistic Typology
R. M. W. Dixon & Alexandra Y. Aikhenvald
Corpus Analysis and Variation in Linguistics
Yuji Kawaguchi & Makoto Minegishi & Jacques Durand
The Dark Side of Camelot
Seymour Hersh
Downward Causation and the Neurobiology of Free Will
Nancey Murphy & Timothy O'Connor & George Ellis
Enemy of the State
Tommy Robinson