- Stoic Logic.P. T. Geach - 1955 - Philosophical Review 64 (1):143.details
|
|
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.details
|
|
Remarks on Stoic deduction.John Corcoran - 1974 - In Ancient logic and its modern interpretations. Boston,: Reidel. pp. 169--181.details
|
|
(2 other versions)Logic: The Stoics (Part Two).Susanne Bobzien - 1999 - In Keimpe Algra, Jonathan Barnes, Jaap Mansfeld & Malcolm Schofield (eds.), The Cambridge History of Hellenistic Philosophy. New York: Cambridge University Press.details
|
|
Stoic Logic.Susanne Bobzien - 2003 - In Brad Inwood (ed.), The Cambridge Companion to Stoic Philosophy. Cambridge University Press.details
|
|
Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.details
|
|
The genealogy of disjunction.Raymond Earl Jennings - 1994 - New York: Oxford University Press.details
|
|
(2 other versions)Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.details
|
|
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details
|
|
Analyticity, Balance and Non-admissibility of Cut in Stoic Logic.Susanne Bobzien & Roy Dyckhoff - 2018 - Studia Logica 107 (2):375-397.details
|
|
(2 other versions)The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.details
|
|
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.details
|
|
Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge,: Harvard University Press. pp. 1-83.details
|
|
Handbook of the History of Logic.Dov M. Gabbay & John Woods - 2004 - Bulletin of Symbolic Logic 10 (4):579-583.details
|
|
Die Stoische Logik.Michael Frede - 1974 - Mind 86 (342):286-289.details
|
|
The Genealogy of Disjunction.Ernest W. Adams & R. E. Jennings - 1996 - Philosophical Review 105 (1):87.details
|
|
(1 other version)Zur Gefchichte der Ausfagenlogik. [REVIEW]Jan Lukasiewicz - 1935 - Erkenntnis 5 (1):111-131.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
(1 other version)The Combinatorics of Stoic Conjunction.Susanne Bobzien - 2011 - Oxford Studies in Ancient Philosophy 40:157-188.details
|
|
The completeness of Stoic propositional logic.Ian Mueller - 1979 - Notre Dame Journal of Formal Logic 20 (1):201-215.details
|
|
Alexandri in Aristotelis analyticorum priorum librum I commentarium.Alexander Aphrodisiensis - 1883 - De Gruyter.details
|
|
(1 other version)The Development of Logic.William Kneale & Martha Kneale - 1962 - Studia Logica 15:308-310.details
|
|
(1 other version)Zur Geschichte der Aussagenlogik.Jan Lukasiewicz - 1935 - Erkenntnis 5 (1):111-131.details
|
|
On the completeness of non-philonian stoic logic.Peter Milne - 1995 - History and Philosophy of Logic 16 (1):39-64.details
|
|
Untersuchungen zum Prädikatenkalkul.Oiva Ketonen - 1945 - Journal of Symbolic Logic 10 (4):127-130.details
|
|
Zwei Untersuchungen Zur Antiken Logik.Oskar Becker - 1957 - Harrassowitz.details
|
|
Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.details
|
|
(1 other version)The Development of Logic.William Kneale & Martha Kneale - 1962 - Philosophy 40 (151):79-83.details
|
|
The Connectives.Ian Humberstone - unknowndetails
|
|
(1 other version)Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.details
|
|
On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.details
|
|
Deduction in Stoic logic.Josiah Gould - 1974 - In John Corcoran (ed.), Ancient logic and its modern interpretations. Boston,: Reidel. pp. 151--168.details
|
|
Polish Logic 1920-1939.Storrs Mccall - 1970 - Revue Philosophique de la France Et de l'Etranger 160:495-495.details
|
|
(1 other version)Reviews. Oiva Ketonen. Untersuchungen zum Prädikatenkalkul. Annales Academiae Scientiarum Fennicae, series A, I. Mathematica-physica 23. Helsinki 1944, 71 pp. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.details
|
|
Lives of the philosophers.Diogenes Laertius - 1969 - Chicago,: Regnery. Edited by A. Robert Caponigri.details
|
|
Institutio Logica. Galen - 1964details
|
|
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.details
|
|