Author:
Sieg Wilfried,Szabó Máté,McLaughlin Dawn
Publisher
Springer International Publishing
Reference61 articles.
1. Awodey, Steve and Reck, Erich. 2002. “Completeness and Categoricity, Part II: 20th Century Metalogic to 21st Century Semantics.” History and Philosophy of Logic 23, no. 2: 77–94.
2. Bernays, Paul. 1918. Beiträge zur axiomatischen Behandlung des Logik-Kalküls. Habilitations-schrift. Göttingen. Reprinted in [20], 222–68.
3. Bernays, Paul. 1926. “Axiomatische Untersuchung des Aussagen-Kalküls der ‘Principia Mathematica’.” Mathematische Zeitschrift 25, 305–320.
4. Church, Alonzo. 1935. “An Unsolvable Problem of Elementary Number Theory. Preliminary Report (Abstract).” Bulletin of the American Mathematical Society 41: 332–33.
5. Church, Alonzo. 1936. “An Unsolvable Problem of Elementary Number Theory.” The American Journal of Mathematics 58, no. 2: 345–63.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献