Suchergebnisse
- Tracts in Theoretical Computer Science). Cambridge University Press, ISBN 0-521-77911-1 == Weblinks == * {{SEP|https://plato.stanford.edu/entries/proof-theory/|Proof…10 KB (1.101 Wörter) - 21:40, 27. Okt. 2023
Cambridge u. a. 1996, ISBN 0-521-57223-1 (2. Auflage. ebenda 2000, ISBN 0-521-77911-1). * ''Tijgers op de Ararat. Natuurhistorische reisverhalen, 1700–1950…4 KB (434 Wörter) - 11:09, 20. Mär. 2019
Cambridge u. a. 1996, ISBN 0-521-57223-1 (2. Auflage. ebenda 2000, ISBN 0-521-77911-1). * mit [[Kurt Schütte]]: [https://epub.ub.uni-muenchen.de/4264/ ''Mathematische…3 KB (235 Wörter) - 00:20, 15. Dez. 2023
