
Basic Proof Theory
djvu
- Author: Anne S. Troelstra H. Schwichtenberg
- Language: English
- Year: 2000

- Author: Holger Schwichtenberg
- Language: German
- Year: 2002

- Author: Holger Schwichtenberg
- Language: German
- Year: 2001

- Author: Holger Schwichtenberg
- Language: German
- Year: 2004

Basic Proof Theory
djvu
- Author: A. S. Troelstra H. Schwichtenberg
- Language: English
- Year: 1996

- Author: A. S. Troelstra H. Schwichtenberg
- Language: English
- Year: 2000