1. ]G. Gentzen. Untersuchungen über daslogische Schliessen. Mathematische Zeitschrift, 35, 1934.
2. J.-Y. Girard. Une extension de l’interprétation de Gödel à l’analyse et son application à l’éliminatin des coupures dans l’analyse et la théorie de types. In Proceedings of the second Scandinavian Logic Symposium, Amsterdam, London 1971.
3. D. Hilbert and P. Bernays. Grundlagen der Mathematik
1. Zweite Auflage, Berlin, 1968.
4. P. Matin-Löf. Hauptsatz for theory of species. In Proceedings of the second Scandinavian Logic Symposium, Amsterdam, London 1971.
5. D. Prawitz. Ideas and Results in proof theory. In Proceedings of the second Scandinavian Logic Symposium, Amsterdam, London 1971.