Publisher
Springer International Publishing
Reference7 articles.
1. Crabbé, M.: Non-normalisation de la théorie de Zermelo. http://www.logic-center.be/Publications/Bibliotheque/contreexemple.pdf (sketch of the result presented at the Proof Theory Symposium held in Kiel in 1974)
2. Ekman, J.: Normal proofs in set theory. Ph.D. thesis, Department of Computing Science, University of Göteborg (1994)
3. Gentzen, G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176-210, 405-431 (1934/35) (English translation in: The Collected Papers of Gerhard Gentzen (Szabo, M.E. (ed.). Amsterdam, North Holland (1969), pp. 68-131)
4. Girard, J.-Y.: Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 63-92. North-Holland, Amsterdam (1971)
5. Martin-Löf, P.: Hauptsatz for the theory of species. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 217-233. North-Holland, Amsterdam (1971)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献