Reference19 articles.
1. Anellis, I.: The genesis of the truth-table device. Russell: the Journal of Bertrand Russell Studies 24(1), 55–70 (2004). Available at:
http://digitalcommons.mcmaster.ca/russelljournal/vol24/iss1/5
2. Bernays, P.: Beiträge zur axiomatischen Behandlung des Logik-Kalküls. Habilitationsschrift, Universität Göttingen. Unpublished typescript, 1918
3. Bernays, P.: Axiomatische Untersuchungen des Aussagen-Kalküls der ‘Principia Mathematica’. Math. Z. 25, 305–320 (1926). Abridged version of [2]
4. Bernays, P., Schönfinkel, M.: Zum Entscheidungsproblem der mathematischen Logik. Math. Ann. 99, 342–372 (1928)
5. Studies in Computational Intelligence;W. Carnielli,2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Is Modern Logic Non-Aristotelian?;The Logical Legacy of Nikolai Vasiliev and Modern Logic;2017
2. A History of Truth-Values;Handbook of the History of Logic;2012