MPG.eBooks - Search Results - "combinatorics"

Search alternatives:
"combinatorics" » "combinatorial"

Cover Image

1

Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

Published 2020

Springer International Publishing

Subjects: “...Combinatorics...”

Cover Image

2

A Model–Theoretic Approach to Proof Theory

by Kotlarski, Henryk
Published 2019

Springer International Publishing

Table of Contents: “...Chapter 1. Some combinatorics -- Chapter 2. Some model theory -- Chapter 3. Incompleteness...”