| Aristotle. (1991). De Interpretatione. The complete works of Aristotle. The revised Oxford translation, Barmes, J. (ed.), Volume one. Princeton University Press. |
| Бочвар, Д. (1938). Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления. Математический сборник. |
| 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. |
| Философия на логиката: Ранна аналитична философия. (2003). София: Университетско издателство "Св. Климент Охридски". |
| Философия на логиката II. (2008). София: Изток-Запад. |
| Gödel, K. (1930). Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik. |
| Henkin, L. 1949. The completeness of the first-order functional calculus, Journal of Symbolic Logic, 14. |
| Hintikka, J. 1961. Modality and Quantification, Theoria, 27. |
| Jungius, J. (1957). Logica Hamburgensis, факсимилна репродукция на оригиналното издание (Hamburg, 1638). Hamburg: J. J. Augustin. |
| Kleene, S. (1938). On notation for ordinal numbers. Journal of Symbolic Logic. Zeitschrift für Mathematische Logik und Grundlagender Mathematik, 9. |
| Kripke, S. (1963a). Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi, Zeitschrift für Mathematische Logik und Grundlagender Mathematik, 9. |
| Kripke, S. (1963b). Semantical Considerations on Modal Logic, Acta Philosophica Fennica, 16. |
| Löwenheim, L. (1915). Über Möglichkeiten in Relativkalkül, Math. Ann., 76. |
| 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. |
| Reichenbach, H. (1944). Philosophic Foundations of Quantum Mechanics. University of California Press. Dover 1998 |
| Russell, B. (1905). On Denoting. Mind. |
| Skolem, T. (1920). Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen. Skrifter utgitt av Videnskapsselskapet i Kristiania, I, Mat. Naturv. Kl., 4. |
| Strawson, P. (1950). On Referring. 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. |