Author:
Eklund Patrik,Galán M. Ángeles,Helgesson Robert,Kortelainen Jari
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lesniewski, S.: Grundzüge eines Neuen Systems der Grundlagen der Mathematik. Fundamenta Mathematicae 14, 1–81 (1929)
2. Curry, H.B.: Foundations of Mathematical Logic. McGraw-Hill, New York (1963)
3. Schönfinkel, M.: Über die Bausteine der mathematischen Logik. Mathematische Annalen 92, 305–316 (1924)
4. Hilbert, D., Ackermann, W.: Grundzüge der theoretischen Logik. Springer, Göttingen (1928)
5. Frege, G.: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Louis Nebert, Halle (1879)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献