Books · Search
Metamathematics · Numerical analysis
Foundations of mathematics
1993
Metamathematics
Metamathematik der Elementarmathematik
1983
Combinatory logic · Combinatorial analysis
The Combinatory Programme (Progress in Theoretical Computer Science)
1994
The Combinatory Programme
1995
Algorithmic properties of structures
Machine theory · Algorithms
Formal languages; automata and structures
1968
Formal Languages
Computer algorithms · Galois theory
Algorithmic properties of structure
Berechnungstheorie für Informatiker
2012
Berechnungstheorie
1988
Berechnungstheorie fur Informatiker
1986
Computer algorithms · Congresses
Symposium on semantics of algorithmic languages
1971
Sequential machine theory · Recursive functions
Introduction to the theory of computation
1973
Formal languages
