Peter M. SchusterBooksMathesis Universalis, Computability and ProofWell-Quasi Orders in Computation, Logic, Language and ReasoningAuthor data: Open Library