Well-Quasi Orders in Computation, Logic, Language and Reasoning
Peter M. Schuster & Monika Seisenberger & Andreas Weiermann
Trends in Logic (53)
Adam's Calendar: Discovering the Oldest Man-Made Structure on ...
Michael Tellinger & Johan Heine
Labelled Deductive Systems
Dov M. Gabbay
Oxford Studies in Political Philosophy - Volume 5
David Sobel & Peter Vallentyne & Steven Wall
The Student's Introduction to MATHEMATICA ®: A Handbook for ...
Bruce F. Torrence & Eve A. Torrence
The Department 19 Files: The Devil in No Man’s Land: 1917 (Department ...
Will Hill
Department 19 (1)