2 works on record
Mathesis Universalis, Computability and Proof
Well-Quasi Orders in Computation, Logic, Language and Reasoning