Well-Quasi Orders in Computation, Logic, Language and Reasoning
Peter M. Schuster & Monika Seisenberger & Andreas Weiermann
Trends in Logic (53)
The Search for Roots: C. G. Jung and the Tradition of Gnosis
Alfred Ribi
A Dictionary of Proverbs
John Simpson & Jennifer Speake
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Knative Cookbook: Building Effective Serverless Applications ...
Burr Sutter & Kamesh Sampath
Age of Chivalry Or Legends of King Arthur
Thomas Bulfinch