Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Kubernetes Cookbook: Building Cloud Native Applications
Sébastien Goasguen & Jonathan Michaux & Sameer Naik
Jacob's Ladder: Ten Steps to Truth
Peter J. Kreeft
Semiotics and the Philosophy of Language
Umberto Eco
The Crusades: A History From Beginning to End
Henry Freeman
A Body of Individuals: The Paradox of Community in Contemporary ...
Sue-Im Lee