Библиография

Carroll, L. (1897). Symbolic Logic. London.
Church, A. (1936). A note on the Entscheidungsproblem. Journal of Symbolic Logic.
Copi, I. (1998). Einfürung in die Logic. München: Wilhelm Fink Verlag.
De Morgan, A. (1847). Formal Logic. London: Taylor and Walton.
Gödel, K. (1930). Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik.
Jungius, J. (1957). Logica Hamburgensis, факсимилна репродукция на оригиналното издание (Hamburg, 1638). Hamburg: J. J. Augustin.
Lukasiewicz, J. 1920. O logice trojwartosciowej. Ruch filozoficzny 5.
Post, E. L. 1921. Introduction to a general theory of elementary propositions. American Journal of Mathematics 43.
Quine, W. V. 1950. Methods of Logic. Harvard University Press.
Russell, B. (1905). On Denoting. Mind.
Tarski, A. (1956). The Concept of Truth in Formalized Languages. In A. Tarski, Logic, Semantics, Metamathematics (Papers from 1923 to 1938). Oxford at the Clarendon Press.
Turing, A. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society.
Venn, J. (1880). On the diagrammatic and mechanical representations of propositions and reasoning. The London, Edinburgh, and Dublin philosophical magazine and journal of science, 10, 1-18.
Wittgenstein, L. 1922. Tractatus Logico-Philosophicus. Kegan Paul, Trench and Trübner.
Философия на логиката: Ранна аналитична философия. (2003). София: Университетско издателство "Св. Климент Охридски".