- Author: Anne S. Troelstra
- Language: English
- Year: 2016
- Author: Anne S. Troelstra Dirk van Dalen
- Year: 1988
- Author: Anne S. Troelstra Dirk van Dalen
- Language: English
- Year: 1988
- Author: Anne S. Troelstra Dirk van Dalen
- Language: English
- Year: 1988
Basic Proof Theory
djvu
- Author: Anne S. Troelstra H. Schwichtenberg
- Language: English
- Year: 2000
- Author: Anne S. Troelstra Dirk van Dalen
- Language: English
- Year: 1988
- Author: Anne S. Troelstra
- Language: English
- Year: 1969
- Author: Anne S. Troelstra
- Language: English
- Year: 1973