- Author: Douglas Bridges Hajime Ishihara Michael Rathjen Helmut Schwichtenberg
- Language: English
- Year: 2023
Basic proof theory
djvu
- Author: A S Troelstra, Helmut Schwichtenberg
- Language: English
- Year: 2000
- Author: Wilfried Brauer (auth.) Friedrich L. Bauer Wilfried Brauer Helmut Schwichtenberg (eds.)
- Language: English
- Year: 1993
Computational Logic
djvu
- Author: Ulrich Berger Helmut Schwichtenberg (eds.)
- Language: English
- Year: 1999
Logic of Computation
djvu
- Author: Peter Aczel (auth.) Helmut Schwichtenberg (eds.)
- Language: English
- Year: 1997
- Author: Helmut Schwichtenberg Stanley S. Wainer
- Language: English
- Year: 2012
- Author: Ulrich Berger Helmut Schwichtenberg (auth.) Helmut Schwichtenberg (eds.)
- Language: English
- Year: 1995