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

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.