Peter M. Schuster

Identifiers

Open LibraryOL7960060A

Books by Peter M. Schuster

Total count: 2

Mathesis Universalis, Computability and Proof

Springer2019-10-26
Well-Quasi Orders in Computation, Logic, Language and ReasoningA Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

Springer International Publishing AG2020-01-01