Higher-Order Algebra, Logic, and Term Rewriting: Second International ...
Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller
Logic and Arithmetic
David Bostock
Theoretical and Crosslinguistic Approaches to the Semantics ...
Susan Deborah Rothstein
The VR Book: Human-Centered Design for Virtual Reality
Jason Jerald
Encyclopedia of Virology
Unknown
The Etymologicon: A Circular Stroll Through the Hidden Connections ...
Mark Forsyth
Eureka!: The Birth of Science
Andrew Gregory
Introducing Buddha
Jane Hope & Borin van Loon