1. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik;Curry;Arch. Gesch. Philos.,1951
2. Proceedings of the Second Scandinavian Logic Symposium, Studies in Logic and the Foundations of Mathematics,1971
3. Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture;Girard;Rozprawy Mat.,1976
4. Proof Theory and Logical Complexity. Volume I;Girard,1987
5. Die logischen Grundlagen der Mathematik;Hilbert;Math. Ann.,1923