Schuster, Peter M.

Overview

Works:	0 works in 0 publications in 0 languages

Titles

Mathesis Universalis, Computability and Proof by: Centrone, Stefania.; Sarikaya, Deniz.; Schuster, Peter M.; Negri, Sara.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Well-Quasi Orders in Computation, Logic, Language and Reasoning = A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / by: Schuster, Peter M.; SpringerLink (Online service); Seisenberger, Monika.; Weiermann, Andreas. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Subjects

Mathematical logic. Graph theory. Logic design. Graph Theory. Logic Design. Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Combinatorics.