Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference8 articles.
1. A. Ehrenfeucht, and A. Mostowski, ?Models of Axiomatic Theories admitting Automorphism?,Fundamenta Mathematica 43 (1956) 50?68.
2. P. Erdös, and R. Rado, ?A Partition Calculus in Set Theory?,Bulletin of the American Mathematical Society 62 (1956) 427?488.
3. Th. Hailperin, ?A Set of Axioms for Logic?,Journal of Symbolic Logic 9 (1944) 1?19.
4. G. Kreisel, and Hao Wang, ?Some Applications of Formalized Consistency Proofs?,Fundamenta Mathematica 42 (1955) 101?110.
5. W. V. Quine, ?New Foundations for Mathematical Logic?, reprinted inFrom a Logical Point of View, Harvard Univ. Press, Cambridge, Mass., 1953.
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mathematical Structures Within Simple Type Theory;Studia Logica;2024-07-23
2. Weak set theories in foundational debates;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. Strong Ambiguity;Mathematical Logic Quarterly;2022-01-21
4. Is Logic Relevant to Classifications?;Studies in Universal Logic;2022
5. Foundations of applied mathematics I;Synthese;2021-01-06