Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Intermediate German for Dummies
Wendy Foster
The Dark Side of Podemos?: Carl Schmitt and Contemporary Progressive ...
Patrick Baert & Josh Booth
Don't Burn This Country: Surviving and Thriving in Our Woke ...
Dave Rubin
The Oxford Handbook of Medieval Philosophy
John Marenbon
Heuristic and Knowledge-Based Security Checks of Source Code ...
Fabien Patrick Viertel