Publisher
Springer International Publishing
Reference18 articles.
1. Gentzen, G., & Untersuchungen über das logische Schliessen. (1934–5). Mathematische Zeitschrift, I, II: 176–210, 405–431 Translated as ‘Investigations into Logical Deduction’, in The Collected Papers of Gerhard Gentzen, edited by M. E. Szabo, North-Holland, Amsterdam, 1969, 68–131.
2. Hilbert, D., & Ackermann, W. (1938). Grundzüge der Theoretischen Logik (2nd ed.). Berlin: Springer.
3. Hilbert, D., & Ackermann, W. (1950). Principles of Mathematical Logic. New York: Chelsea Publishing Co.
4. Kleene, S. C. (1952). Introduction to Metamathematics. Princeton, New Jersey: Van Nostrand.
5. Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献