- Author: Anne S. Troelstra
- Language: English
- Year: 2016
- Author: Troelstra A.S.
- Language: English
- Year: 1977
- Author: A. S. Troelstra
- Language: English
- Year: 1992
- Author: A. S. Troelstra and D. van Dalen
- Language: English
- Year: 1988
- Author: A.S. Troelstra
- Language: English
- Year: 1966
- Author: A.S. Troelstra
- Language: English
- Year: 1966
Basic proof theory
djvu
- Author: A S Troelstra, Helmut Schwichtenberg
- Language: English
- Year: 2000
- Author: Troelstra A.S.
- Language: English
- Year: 1992
- Author: A. S. Troelstra
- Language: English
- Year: 1977