Editing History of logic (section)

==References==
; Primary Sources
* [[Alexander of Aphrodisias]], ''In Aristotelis An. Pr. Lib. I Commentarium'', ed. Wallies, Berlin, C.I.A.G. vol. II/1, 1882.
* Avicenna, ''Avicennae Opera'' Venice 1508.
* [[Boethius]] ''Commentary on the Perihermenias'', Secunda Editio, ed. Meiser, Leipzig, Teubner, 1880.
* [[Bernard Bolzano|Bolzano, Bernard]] ''Wissenschaftslehre'', (1837) 4 Bde, Neudr., hrsg. W. Schultz, Leipzig I–II 1929, III 1930, IV 1931 (''Theory of Science'', four volumes, translated by Rolf George and Paul Rusnock, New York: Oxford University Press, 2014).
* Bolzano, Bernard ''Theory of Science'' (Edited, with an introduction, by Jan Berg. Translated from the German by Burnham Terrell – [[D. Reidel Publishing Company]], Dordrecht and Boston 1973).
* [[George Boole|Boole, George]] (1847) ''The Mathematical Analysis of Logic'' (Cambridge and London); repr. in ''Studies in Logic and Probability'', ed. [[Rush Rhees|R. Rhees]] (London 1952).
* Boole, George (1854) ''The Laws of Thought'' (London and Cambridge); repr. as ''Collected Logical Works''. Vol. 2, (Chicago and London: [[Open Court Publishing Company|Open Court]], 1940).
* [[Epictetus]], ''Epicteti Dissertationes ab Arriano digestae'', edited by Heinrich Schenkl, Leipzig, Teubner. 1894.
* Frege, G., ''Boole's Logical Calculus and the Concept Script'', 1882, in ''Posthumous Writings'' transl. P. Long and R. White 1969, pp.&nbsp;9–46.
* [[Joseph Diaz Gergonne|Gergonne, Joseph Diaz]], (1816) ''Essai de dialectique rationelle'', in [[Annales de mathématiques pures et appliquées]] 7, 1816/1817, 189–228.
* Jevons, W. S. ''The Principles of Science'', London 1879.
* ''Ockham's Theory of Terms'': Part I of the [[Summa Logicae]], translated and introduced by Michael J. Loux (Notre Dame, IN: [[University of Notre Dame Press]] 1974). Reprinted: South Bend, IN: St. Augustine's Press, 1998.
* ''Ockham's Theory of Propositions'': Part II of the Summa Logicae, translated by Alfred J. Freddoso and Henry Schuurman and introduced by Alfred J. Freddoso (Notre Dame, IN: University of Notre Dame Press, 1980). Reprinted: South Bend, IN: St. Augustine's Press, 1998.
* [[Charles Sanders Peirce|Peirce, C. S.]], (1896), "The Regenerated Logic", ''The Monist'', [https://books.google.com/books?id=pa0LAAAAIAAJ vol. VII], No. 1, p [https://books.google.com/books?id=pa0LAAAAIAAJ&pg=PA19 pp. 19]–40, The Open Court Publishing Co., Chicago, IL, 1896, for the Hegeler Institute. Reprinted (CP 3.425–455). ''Internet Archive'' [https://archive.org/details/monistquart07hegeuoft ''The Monist'' 7].
* [[Sextus Empiricus]], ''Against the Logicians''. (Adversus Mathematicos VII and VIII). Richard Bett (trans.) Cambridge: Cambridge University Press, 2005. {{ISBN|0-521-53195-0}}.
* {{cite journal |author-link=Ernst Zermelo |author-first=Ernst |author-last=Zermelo |date=1908 |title=Untersuchungen über die Grundlagen der Mengenlehre I |journal=Mathematische Annalen |volume=65 |pages=261–281 |doi=10.1007/BF01449999 |issue=2 |s2cid=120085563 |url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1 |access-date=2013-09-30  |archive-date=2017-09-08  |archive-url=https://web.archive.org/web/20170908192040/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1 |url-status=dead }} English translation in {{cite book |author-link=Jean van Heijenoort |author-first=Jean |author-last=van Heijenoort |date=1967 |title=From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 |series=Source Books in the History of the Sciences |chapter=Investigations in the foundations of set theory |publisher=Harvard Univ. Press |pages=199–215 |isbn=978-0-674-32449-7}}.
* {{cite book |last=Frege |first=Gottlob |year=1879 |title=Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought}} translated in van Heijenoort 1967.

; Secondary Sources
* [[Jon Barwise|Barwise, Jon]], (ed.), ''Handbook of Mathematical Logic'', Studies in Logic and the Foundations of Mathematics, Amsterdam, North Holland, 1982 {{ISBN|978-0-444-86388-1}} .
* Beaney, Michael, ''The Frege Reader'', London: Blackwell 1997.
* [[Józef Maria Bocheński|Bochenski]], I. M., ''A History of Formal Logic'', Indiana, Notre Dame University Press, 1961.
* [[Philotheus Boehner|Boehner, Philotheus]], ''Medieval Logic'', Manchester 1950.
* {{citation |first=C.B. |last=Boyer |author-link=Carl Benjamin Boyer |title=A History of Mathematics |edition=2nd |place=New York |publisher=Wiley |year=1991 |orig-year=1989 |isbn=978-0-471-54397-8 |url=https://archive.org/details/historyofmathema00boye}}
* Buroker, Jill Vance (transl. and introduction), A. Arnauld, P. Nicole ''Logic or the Art of Thinking'', [[Cambridge University Press]], 1996, {{ISBN|0-521-48249-6}}.
* [[Alonzo Church|Church, Alonzo]], 1936–1938. "A bibliography of symbolic logic". ''Journal of Symbolic Logic 1'': 121–218; ''3'':178–212.  
* [[Everard de Jong|de Jong, Everard]] (1989), ''[[Galileo Galilei]]'s "Logical Treatises" and [[Giacomo Zabarella]]'s "Opera Logica": A Comparison'', PhD dissertation, Washington, DC: Catholic University of America.
* Ebbesen, Sten "Early supposition theory (12th–13th Century)" ''Histoire, Épistémologie, Langage'' 3/1: 35–48 (1981).
*  Farrington, B., ''The Philosophy of [[Francis Bacon]]'', Liverpool 1964.
* Feferman, Anita B. (1999). "Alfred Tarski". ''[[American National Biography]]''. 21. [[Oxford University Press]]. pp.&nbsp;330–332. {{ISBN|978-0-19-512800-0}}.
* {{cite book |author-last1=Feferman |author-first1=Anita B. |author-first2=Solomon |author-last2=Feferman |author-link2=Solomon Feferman |title=Alfred Tarski: Life and Logic |url=https://archive.org/details/alfredtarskilife0000fefe |url-access=registration |date=2004 |publisher=[[Cambridge University Press]] |isbn=978-0-521-80240-6 |oclc=54691904 |ref=F-F}}
* [[Dov Gabbay|Gabbay, Dov]] and [[John Woods (logician)|John Woods]], eds, ''Handbook of the History of Logic'' 2004. 1. Greek, Indian and Arabic logic; 2. Mediaeval and Renaissance logic; 3. The rise of modern logic: from Leibniz to Frege; 4. British logic in the Nineteenth century; 5. Logic from Russell to Church; 6. Sets and extensions in the Twentieth century; 7. Logic and the modalities in the Twentieth century; 8. The many-valued and nonmonotonic turn in logic; 9. Computational Logic; 10. Inductive logic; 11. Logic: A history of its central concepts; [[Elsevier]], {{ISBN|0-444-51611-5}}.
* Geach, P. T. ''Logic Matters'', Blackwell 1972.
* Goodman, Lenn Evan (2003). ''Islamic Humanism''. Oxford University Press, {{ISBN|0-19-513580-6}}.
* Goodman, Lenn Evan (1992). ''Avicenna''. Routledge, {{ISBN|0-415-01929-X}}.
* [[Ivor Grattan-Guinness|Grattan-Guinness, Ivor]], 2000. ''The Search for Mathematical Roots 1870–1940''. [[Princeton University Press]].
* Gracia, J. G. and Noone, T. B., ''A Companion to Philosophy in the Middle Ages'', London 2003.
* [[Leila Haaparanta|Haaparanta, Leila]] (ed.) 2009. ''The Development of Modern Logic'' Oxford University Press.
* [[T. L. Heath|Heath, T. L.]], 1949. ''Mathematics in Aristotle'', Oxford University Press.
* Heath, T. L., 1931, ''A Manual of Greek Mathematics'', Oxford ([[Clarendon Press]]).
* Honderich, Ted (ed.). [[The Oxford Companion to Philosophy]] (New York: Oxford University Press, 1995) {{ISBN|0-19-866132-0}}.
* [[William Kneale (logician)|Kneale, William]] and Martha, 1962. ''The development of logic''. Oxford University Press, {{ISBN|0-19-824773-7}}.
* [[Jan Łukasiewicz|Lukasiewicz]], ''Aristotle's Syllogistic'', Oxford University Press 1951.
* Potter, Michael (2004), ''[https://books.google.com/books?id=FxRoPuPbGgUC&q=logic Set Theory and its Philosophy]'', Oxford University Press.