Peter M. Schuster – författare
Visar alla böcker från författaren Peter M. Schuster. Handla med fri frakt och snabb leverans.
6 produkter
Mathesis Universalis, Computability and Proof
Av Stefania Centrone, Sara Negri m. fl.
Inbunden, 2019
1310 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Mathesis Universalis, Computability and Proof
Av Peter M. Schuster, Deniz Sarikaya m. fl.
E-bok, 2019
1785 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Mathesis Universalis, Computability and Proof
Av Stefania Centrone, Sara Negri m. fl.
Häftad, 2020
1310 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Av Peter M. Schuster, Monika Seisenberger m. fl.
Inbunden, 2020
1962 kr
Lägg i varukorg
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative …
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Av Andreas Weiermann, Monika Seisenberger m. fl.
E-bok, 2020
2599 kr
Lägg i varukorg
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative …
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Av Peter M. Schuster, Monika Seisenberger m. fl.
Häftad, 2021
1962 kr
Lägg i varukorg
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative …
