- Polish Logic 1920-1939.Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.details
|
|
On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.details
|
|
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..details
|
|
Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.details
|
|
Polish logic.Storrs McCall (ed.) - 1967 - Oxford,: Clarendon P..details
|
|
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.details
|
|
Introduction to Logic.J. Dopp - 1957 - Journal of Symbolic Logic 22 (4):353-354.details
|
|
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.details
|
|
The Stroke Function in Natural Deduction.Robert Price - 1961 - Mathematical Logic Quarterly 7 (7‐10):117-123.details
|
|
The Stroke Function in Natural Deduction.Robert Price - 1961 - Mathematical Logic Quarterly 7 (7-10):117-123.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
Beginning Logic.Sarah Stebbins - 1965 - London, England: Hackett Publishing.details
|
|
Beginning Logic.Sarah Stebbins - 1967 - Journal of Symbolic Logic 46 (2):421-423.details
|
|
Introduction to Logic.Roland Hall - 1960 - Philosophical Quarterly 10 (40):287-288.details
|
|
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.details
|
|
Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details
|
|
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details
|
|
Symbolic Logic. An Introduction.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.details
|
|
Symbolic Logic, An Introduction.R. M. Martin - 1953 - Philosophy and Phenomenological Research 14 (2):260-261.details
|
|
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wiendetails
|
|
Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208-213.details
|
|
Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.details
|
|
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.details
|
|
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
Polish Logic 1920-1939.Storrs Mccall - 1970 - Revue Philosophique de la France Et de l'Etranger 160:495-495.details
|
|