@

Ackermann, Wilhelm

(1928): On Hilbert's construction of the real numbers, 1928. Tr. by Stefan Bauer-Mengelberg. Zum Hilbertschen Aufbau der reelen Zahlen. In: 'Mathematische Annalen', 99.
@

Ackermann, Robert John

(1970): Modern deductive logic: an introduction to its techniques and significance (1st ed.). N.Y., Garden City, Anchor Books (1970).
@

Allwood, Jens S.

(1977): Logic in linguistics. (Jens Allwood, Lars-Gunnar Andersson, Osten Dahl). New York, Cambridge , Cambridge University Press (1977).
@

Almeida, de, Vieira, Prof. Dr.

(1956): Iniciáo Lógica. Colleccao Saber. Publicacoes Europa-Amerika.
@

Aristotle

(1938): The Categories. In: 'On interpretation'; by Harold P. Cooke; 'Prior analytics'; by Hugh Tredennick. Cambridge, Mass., Harvard University Press (1973).
@

Arnauld, Antoine and Nicole, Pierre

(1992): L'Art de Penser. De kunst van het denken.
@

Arnauld, Antoine and Nicole, Pierre

(1996): Logic or the Art of Thinking . (edited by Jill Vance-Buroker). Cambridge, England, Cambridge University Press.
@

Ayer, A.J. (Alfred Jules)

(1946): Language, truth, and logic. New York, Dover.
@

Baron, J

(2000): Thinking and Deciding (Third Edition). New York, Cambridge University Press.
@

Baker, G. & Hacker

(1984): Frege: Logical Excavations. New York, Oxford University Press.
@

Barry, Vincent E.

(1976): Practical logic. New York, Holt, Rinehart and Winston.
@

Bastable, Patrick K.

(1975): Logic: depth grammar of rationality: a textbook on the science and history of logic. Dublin, Gill and Macmillan.
@

Baum, Robert,

(1975): Workbook to accompany Logic. New York, Holt, Rinehart and Winston (1975).
@

Baumann

(1868): Die Lehren Von Zeit, Raum und Mathematik (2 Vol.s). Berlin.
@

Beardsley, Monroe C.

(1950): Practical logic. New York, Prentice-Hall.
@

Bennett, Albert Arnold & Charles A. Baylis

(1939): Formal logic: a modern introduction . New York, Prentice-Hall (1939).
@

Bernays, Paul

(1927): Appendix to Hilbert's lecture "The foundations of mathematics" , 1927. Tr. by Stefan Bauer-Mengelberg and Dagfinn Føllesdal. Zusatz zu Hilberts Vortrag über "Die Grundlagen der Mathematik. In: ' Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität', 6, Hamburg, 1928.
@

Black, M. & Geach, P.

(1952): Translations from the Philosophical Writings of Gottlob Frege. Oxford, Blackwell.
@

Bohner, Philotheus, Father.

(1952, 1959): Medieval logic: an outline of its development from 1250 to 1400. Manchester , Chicago, Manchester University Press.
@

Boole, George {1815-1864}

(1951): An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities . New York, Dover Publications (1951).
@

Brand, Myles (ed., introd.)

(1976): The Nature of causation. Urbana, University of Illinois Press.
@

Broad, C. D. (Charlie Dunbar) {1887-1971}

(1968): Induction, probability, and causation: selected papers. Dordrecht, Reidel, D (1968).
@

Brotman H.

(1981): Essays in conceptual analysis. Selected and edited by Antony Flew. Westport, Conn. Greenwood Press.
@

Brouwer, Luitzen Egbertus Jan

(1923): On the significance of the principle of excluded middle in mathematics, especially in function theory, 1923. Tr. by Stefan Bauer-Mengelberg. Über die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik, insbesondere in der Funktionentheorie . In: 'Journal für die reine und angewandte Mathematik', 154.
@

Brouwer, Luitzen Egbertus Jan

(1927): On the domains of definition of functions , 1927. Tr. by Stefan Bauer-Mengelberg. Über Definitionsbereiche von Funktionen. In: ' Mathematische Annalen', 97.
@

Brouwer, Luitzen Egbertus Jan

(1927 /1928): Intuitionistic reflections on formalism , 1927. Tr. by Stefan Bauer-Mengelberg. Intuitionistische Betrachtungen über den Formalismus. In: 'Koninklijke Akademie van wetenschappen te Amsterdam, Proceedings of the section of sciences', 31, 1928.
@

Bunch, Bryan H.

(1982): Mathematical fallacies and paradoxes. New York, Van Nostrand Reinhold Co.
@

Burali-Forti, Cesare

(1897): A question on transfinite numbers, 1897. Tr. by Jean van Heijenoort. Una questione sui numeri transfiniti.
In 'Rendiconti del Circolo matematico di Palermo', 11.
@

Bynum, T. W. ed.

(1972): Conceptual Notation and Related Articles. Clarendon Press. Oxford, Mendelsohn (1996).
@

Cantor, Georg

(1899): Letter to Dedekind, 1899. Tr. by Stefan Bauer-Mengelberg. Cantor an Dedekind; In: 'Gesammelte Abhandlungen mathematischen und philosophischen Inhalts', Ed. by Ernst ZELMELO, Berlin, Springer, 1932; reprinted 1962, Hildesheim, Olms.
@

Cargile, James

(1979): Paradoxes, a study in form and predication. Cambridge, New York, Cambridge University Press.
@

Carnap, Rudolf {1891-1970}

(1956): Meaning and necessity: a study in semantics and modal logic (2d ed.). Chicago, University of Chicago Press (1964).
@

Carnap, R.

(1934): Logische Syntax der Sprache. Vienna, Springer.
@

Carnap, R.

(1937): The Logical Syntax of Language. London, Routledge & Kegan Paul.
@

Carnap, R.

(1963): Intellectual autobiography. In: edited by P. A. Schilpp: 'The Philosophy of Rudolf Carnap', pp.1-84. La Salle Open Court.
@

Carney, James Donald & Richard K. Scheer

(1974): Fundamentals of logic (2nd ed.). New York: Macmillan; London: Collier Macmillan.
@

Carroll, Lewis {1832-1898}

(1977): Symbolic logic. New York: C. N. Potter, distributed by Crown Publishers (1977).
@

Chang, Chen Chung & H. J. Keisler

(1973): Model theory. Amsterdam, North-Holland Pub. Co., New York, American Elsevier (1973).
@

Chase, Stuart

(1956): Guides to straight thinking, with 13 common fallacies (1st ed.). New York, Harper (1956).
@

Chierchia, Gennaro and McConnell-Ginet, Sally

(2000): Meaning and Grammar: An Introduction to Semantics (2nd Edition). Cambridge MA, MIT Press.
@

Cleave, J.P. et.al.

(1974): Philosophy of logic: papers and discussions. Bristol Conference on Critical Philosophy (3rd: 1974). Edited by Korner, Stephan Berkeley: University of California Press (1976).
@

Coffa, J. A.

(1991): The Semantic Tradition from Kant to Carnap. Cambridge: Cambridge University Press.
@

Cohen, Laurence Jonathan

(1977): The probable and the provable. Oxford: Clarendon Press.
@

Cohen, Morris Raphael {1880-1947}

(1962): An introduction to logic. (by Morris R. Cohen & Ernest Nagel). New York: Harcourt, Brace & World (1962).
@

Cohen, Morris Raphael {1880-1947}

(1944): A preface to logic. Cleveland: World Pub. Co (1965).
@

Copi, Irving M.

(1972): Introduction to logic (4th ed.). New York: Macmillan.
@

Copi, Irving M.

(1973): Symbolic logic (4th ed.). New York: Macmillan.
@

Corcoran, J.

(1972): Conceptual structure of classical logic. In: ' Philosophy and Phenomenological Research', vol. 33 pp.25-47.
@

Corcoran, J.

(1973): Meanings of implication. In: 'Diálogos ', vol. 4 pp.59-76.
@

Creighton, James Edwin {1861-1924}

(1900): An introductory logic. (1905 New ed., rev. and cor). New York: Macmillan (1900/ 1905).
@

Danesi, Marcel

(1997): Increase your puzzle IQ: tips and tricks for building your logic power . New York: John Wiley & Sons (1997).
@

Dedekind, Richard

(1890): Letter to Keferstein, 1890. Tr. by Stefan Bauer-Mengelberg. (Letter to Keferstein, 27 February, copies of Dedekind's hand in 228;chsische Staats- und Universitätsbibliothek, 246;ttingen.)
@

Dewey, John, {1859-1952}

(1938): Logic: the theory of inquiry. New York: Holt, Rinehart and Winston (1938).
@

Dilman, Ilham

(1973): Induction and deduction; a study in Wittgenstein. (225 p. illus. 23 cm.). New York: Barnes & Noble Books.
@

Dummett, Michael A. E.

(1991): The logical basis of metaphysics. Cambridge, Mass., Harvard University Press.
@

Dummett, M.

(1981): The Interpretation of Frege's Philosophy. Cambridge, Harvard UniversityPress.
@

Edmondson

(1981):
@

Ehlers, Henry J.

(1968): Logic by way of set theory. New York: Holt, Rinehart and Winston.
@

Engel, Pascal

(1991): Norme du vrai. The norm of truth: an introduction to the philosophy of logic. (translated from the French by Miriam Kochan and Pascal Engel). Toronto; Buffalo: University of Toronto Press (1991).
@

Englebretsen, George

(1981): Logical negation. Assen, The Netherlands: Van Gorcum.
@

Englebretsen, George

(1981): Three logicians: Aristotle, Leibniz, and Sommers and the syllogistic. Assen, The Netherlands: Van Gorcum.
@

Epstein, Richard A.

(1977): The theory of gambling and statistical logic (Rev. ed.). New York: Academic Press.
@

Epstein, Richard L.

(1947): The semantic foundations of logic. Dordrecht, The Netherlands; Boston: Kluwer Academic Publishers (1990).
@

Etchemendy, J.

(1983): The doctrine of logic as form. In: ' Linguistics and Philosophy', vol. 6 pp.319-334.
@

Etchemendy, J.

(1988): Tarski on truth and logical consequence. In: ' The Journal of Symbolic Logic', vol. 53, pp.51-79.
@

Etchemendy, J.

(1988): Models, semantics and logical truth. In: ' Linguistics and Philosophy', vol 11 pp.91-106.
@

Etchemendy, J.

(1990): The Concept of Logical Consequence. Cambridge, Harvard University Press.
@

Etchemendy, John

(1990): The Concept of Logical Consequence. Harvard Univ, CSLI (Stanford) (1990). Press Cambridge 1990, 2nd edn. (1999)
@

Feferman, Solomon

(1999): Logic, logics and logicism. Notre Dame Journal of Formal Logic.
@

Finsler, Paul

(1926): Formal proofs and undecidability, 1926. Tr. by Stefan Bauer-Mengelberg. Formale Beweise und die Entscheidbarkeit. In: ' Mathematische Zeitschrift', 25.
@

Fischer, David Hackett

(1970): Historians' fallacies: toward a logic of historical thought (1st ed.). New York: Harper & Row (1970).
@

Flew, Antony {1923-1960}

(1968): Logic and language. (first series, edited with an introd. by Antony Flew. Essays by Gilbert Ryle ). Oxford, Blackwell (1968).
@

Flew, Antony {1923-1959}

(1961): Logic and language (second series). (essays / by J. L. Austin ... ). Oxford, New York, Basil Blackwell (1961).
@

Fraenkel, Abraham A.

(1922): The notion "definite" and the independence of the axiom of choice, 1922. Tr. by Beverly Woodward. Der Begriff "definit" und die Unabhängigkeit des Auswahlsaxioms. In: ' Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse'.
@

Frege, Gottlob,

(1879/ 1964): Begriffsschrift. (A formula language, modeled upon that of arithmetic, for pure thought), 1879. Tr. by Stefan Bauer-Mengelberg. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Ed. by Ignacio Angelelli; Hildesheim, Olms, 1964.
@

Frege, G.

(1894): Review of E. Husserl: Philosophie der Arithmetik. In ' Zeitschrift für Philosophie und philosophische Kritik'. Translated in: (Frege, 1972).
@

Frege, Gottlob

(1902): Letter to Russell, 1902. Tr. by Beverly Woodward.
@

Frege, G.

(1980): Philosophical and Mathematical Correspondence. Chicago, The University of Chicago Press.
@

Gabriel, G. & Kienzler, W.

(1997): Frege in Jena. Beiträge Zur Spurensicherung. In: 'Kritisches Jahrbuch der Philosophie'. Würzburg, Königshausen & Neumann.
@

Gardner, Martin

(1958): Logic machines and diagrams. New York: McGraw-Hill (1958).
@

Geach, Peter Thomas

(1916): Reference and generality: an examination of some medieval and modern theories (3rd ed.). Ithaca, N.Y., Cornell University Press (1980).
@

Glymour, C

(1992): Thinking Things Through. Cambridge MA, MIT Press.
@

Goodman, N

(1965): Fact, Fiction and Forecast. New York NY, Bobbs-Merrill.
@

Goodman, N

(1977): The Structure of Appearance (Third Edition). Boston MA, D. Reidel.
@

Gödel, Kurt

(1930a): Die Vollständigkeit der Axiome des logischen Funktionenkalküls. In: 'Monatshefte für Mathematik und Physik', vol. 37 (1930), pp.349-360. [Veröffentlichung der Dissertation von 1929] Translated as: The Completeness of the Axioms of the Functional Calculus of Logic. Tr. by Stefan Bauer-Mengelberg. In: Jean van Heijenoort (ed.) (1967); 'From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 ', pp.666, pp.582-591. Cambridge, Harvard University Press.
@

Gödel, Kurt

(1930b): Einige metamathematische Resultate über Entscheidungs-definitheit und Widerspruchsfreiheit. In: ' Anzeiger der Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse', 67, pp.214-215. Über Vollständigkeit und Widerspruchsfreiheit. In: 'Ergebnisse eines mathematischen Kolloquiums ', Heft 3 (1932), pp.12-13.
@

Gödel, Kurt

(1931; 1962; 1965): Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In: ' Monatshefte für Mathematik und Physik', vol. 38 (1967), pp.173-198. On Formally Undecidable Propositions of Principia Mathematica and Related Systems I. Translated by B. Meltzer. 1962. University of Edinburgh. Translated by Elliott Mendelson. In: M. Davis (ed.) (1965): The Undecidable. Raven Press, New York. In: Jean van Heijenoort (ed.) (1967); 'From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 ', pp.666, pp.592-617. Cambridge, Harvard University Press.
In: Feferman, S. (1984). In: Shanker, S. G., ed. (1988): Gödel's Theorem in focus. Croom Helm, London, 1988.
@

Gödel, Kurt

(1930-1931): Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a). In: ' Frege and Gödel: Two Fundamental Texts in Mathematical Logic', pp.83-110. Tr. by Stefan Bauer-Mengelberg (1970).
@

Goodman, Nelson

(1965): Fact, fiction, and forecast (2d ed.). Indianapolis, Bobbs-Merrill.
@

Grayling, A. C.

(1982): An introduction to philosophical logic. Brighton, Sussex: Harvester Press; Totowa, N.J.: Barnes & Noble.
@

Grice, H. Paul

(1989): Studies in the way of words. Cambridge, Mass.: Harvard University Press.
@

Grunbaum, Adolf & Salmon, Wesley C.

(1988): The Limitations of deductivism. Berkeley: University of California Press.
@

Guttenplan, Samuel D.

(1971): Logic: a comprehensive introduction. (Guttenplan, Samuel D., Tamny, Martin). New York: Basic Books.
@

Haack, Susan

(1974): Deviant logic: some philosophical issues. London; New York: Cambridge University Press.
@

Haack, Susan

(1978): Philosophy of logics. Cambridge ; New York: Cambridge University Press.
@

Hacking, Ian.

(1965): Logic of statistical inference. Cambridge University Press (1974).
@

Hamilton, A. G.

(1978): Logic for mathematicians. Cambridge ; New York: Cambridge University Press (1978).
@

Hansen, Hans V. & Pinto, Robert C., ed.

(1995): Fallacies: classical and contemporary readings. University Park, Pa.: Pennsylvania State University Press.
@

Harman, Gilbert

(1986): Change in view: principles of reasoning. Cambridge, Mass.: MIT Press.
@

Harnadek, Anita E.

(1976): Critical thinking: book 1. Troy, Mich.: Midwest Publications.
@

Harris, Errol E.

(1987): Formal, transcendental, and dialectical thinking: logic and reality . Albany: State University of New York Press.
@

Heijenoort, Jean van, (ed.)

(1967): From Frege to Gödel : A Source Book in Mathematics, 1879-1931. Harvard Univ. Press, 1967 ; 3rd Pr., 1977.
@

Helden, Albert van

(1980): This reference needs to be fixed. New York NY, Cambridge University Press.
@

Hempel C. G.

(1983): On the nature of mathematical truth. In: edited by P. Benacerraf and H. Putnam; 'The Philosophy of Mathematics, second edition', pp.377-393. Cambridge, Cambridge University Press.
@

Herbrand, Jacques

(1930): Investigations in proof theory: The properties of true propositions, 1930. Tr. by Burton Dreben and Jean van Heijenoort; 'Théorie de la démonstration' (Chap. 5)., Thesis at the University of Paris
@

Herbrand, Jacques

(1931): On the consistency of arithmetic, 1931. Tr. by Jean van Heijenoort. Sur la non-contradiction de l'arithmétique. In: ' Journal für die reine und angewandte Mathematik 166'.
@

Hilbert, David

(1904): On the foundations of logic and arithmetic, 1904. Tr. by Beverly Woodward. Über das Unendliche. In: 'Mathematische Annalen 95', 1926.
@

Hilbert, David

(1925): On the infinite, 1925. Tr. by Stefan Bauer-Mengelberg. Über das Unendliche. In: 'Mathematische Annalen 95'.
@

Hilbert, David

(1927): The foundations of mathematics, 1927. Tr. by Stefan Bauer-Mengelberg. Die Grundlagen der Mathematik. In: ' Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6', Hamburg, 1928.
@

Hilbert, D. and Ackermann W.

(1928): Grundzüge der theoretischen Logik. Berlin, Springer.
@

Hilbert, D., and W. Ackermann

(1938): Grundzüge der theoretischen Logik (second edition). Berlin, Springer.
@

Hilbert, D., and W. Ackermann

(1950): Principles of Mathematical Logic. New York: Chelsea.
@

Hodges, W.

(1985/1986): Truth in a structure. In: ' Proceedings of the Aristotelian Society, new series', vol. 86 pp.135-151.
@

Houston, Whitney

(1987). 'Love Will Save The Day ': New York NY, Arista Records Inc.
@

Howell, Wilbur Samuel

(1971): Eighteenth-century British logic and rhetoric. Princeton University Press.
@

Hughes, George Edward

(1984): A companion to modal logic. London; New York: Methuen (1984).
@

Hunter, Geoffrey

(1971): Metalogic: an introduction to the metatheory of standard first order logic. Berkeley: University of California Press.
@

Inhelder, Barbel & Jean Piaget

(1958): De la logique de l'enfant a la logique de l'adolescent. The growth of logical thinking from childhood to adolescence. An essay on the construction of formal operational structures. (Translated by Anne Parsons and Stanley Milgram). New York: Basic Books.
@

Inhelder, Barbel & Jean Piaget

(1964): Genese des structures logiques elementaires . The early growth of logic in the child, classification and seriation. (Translated from French by E. A. Lunzer and D. Papert). New York: W. W. Norton. (1969).
@

Jeffrey, Richard C.

(1967): Formal logic: its scope and limits. New York: McGraw-Hill.
@

Jeffrey, Richard C.

(1981): Instructor's manual to accompany Formal logic: its scope and limits. New York: McGraw-Hill.
@

Jeffrey, Richard C

(1983): The Logic of Decision (2nd Edition). The University of ChicagoPress, Chicago IL.
@

Jung, CG

(1964): Man and his symbols. Garden City, Doubleday.
@

Kahane, Howard

(1976): Logic and contemporary rhetoric: the use of reason in everyday life (2d ed). Belmont, Calif.: Wadsworth Pub. Co (1976).
@

Kahane, Howard

(1976): Logic and philosophy: a modern introduction (2nd ed.). Belmont, Calif.: Wadsworth Pub. Co (1973).
@

Kant, Immanuel {1724-1804}:

Logik. Kant's Introduction to logic and his Essay on the mistaken subtilty of the four figures. (Translated by Thomas Kingsmill Abbott, with a few notes by Coleridge). Westport: Conn. Greenwood Press (1963) (1974).
@

Kaplan, Abraham

(1964): The conduct of inquiry; methodology for behavioral science. San Francisco: Chandler Pub. Co (1964).
@

Katz, Jerrold J

(1972): Semantic Theory. New York, Harper & Row.
@

Katz, Jerrold J.

(1977): Propositional structure and illocutionary force: a study of the contribution of sentence meaning to speech acts . New York: Crowell.
@

Kirkham, Richard L

(1992): Theories of Truth: A Critical Introduction. Cambridge MA, MIT Press.
@

Kirwan, Christopher

(1978): Logic and argument. New York: University Press.
@

Kneale, William Calvert

(1962): The development of logic. Oxford , Clarendon Press.(1971).
@

Kolmogorov, Andrei Nikolaevich

(1925): On the principle of excluded middle, 1925. Tr. by Jean van Heijenoort. (Originally in Russian.)
@

König, Julius,

On the foundations of set theory and the continuum problem, 1905. Tr. by Stefan Bauer-Mengelberg. Über die Grundlagen der Mengenlehre und das Kontinuumproblem. In: 'Mathematische Annalen 61'.
@

Kreiser, L.

(2001): Gottlob Frege, Leben, Werk, Zeit. Hamburg, F. Meiner.
@

Kuratowski, Kazimierz

(1980): A Half Century of Polish Mathematics. Oxford, Pergamon Press.
@

Lambert, Karel {}

(1969): The logical way of doing things. New Haven, Yale University Press (1969).
@

Lathrop, Richard G. {}

(1969): Introduction to psychological research; logic, design, analysis. (Ed. Wayne Holtzman). New York, Harper & Row (1969).
@

Larson, Richard and Segal, Gabriel

(1995): Knowledge of Meaning. MIT Press.
@

Leitsch, prof. dr. Alexander

(1997): The Resolution Calculus. New York, Springer-Verlag Berlijn, Heidelberg, pp.300.
@

Lemmon, E. J.

(1965): Beginning logic. London: Nelson (1971).
@

Lewis, Clarence Irving {1883-1964} & Cooper Harold Langford

(1959): Symbolic logic . New York, Dover Publications (1959).
@

Lewis, David K.

(1973): Counterfactuals. Cambridge, Harvard University Press.
@

Löwenheim, Leopold

(1915): On possibilities in the calculus of relatives, 1915. Tr. by Stefan Bauer-Mengelberg. Über Möglichkeiten im Relativkalkül. In: $ 'Mathematische Annalen 76'.
@

Lukasiewicz, Jan

(1957): Aristotle's syllogistic from the standpoint of modern formal logic (2d ed., enl.). Oxford, Clarendon Press (1972).
@

Makinson, David Clement

(1973): Topics in modern logic. London, Methuen; distributed by Harper & Row Publishers, inc., Barnes and Noble Import Division.
@

Manser, Anthony Richards

(1983): Bradley's logic. Totowa, N.J.: Barnes & Noble Books.
@

Martin, Harold C.

(1963): The logic and rhetoric of exposition. Holt, Rinehart and Winston (1965).
@

Mates, Benson

(1919): Stoic logic. Berkeley: University of California Press (1961).
@

McGee, Vann

(1996): Logical operations. (Journal of Philosophical Logic).
@

McKirahan, Richard D.

(1992): Principles and proofs: Aristotle's theory of demonstrative science. Princeton, N.J.: Princeton University Press.
@

Mendelsohn, R.

(1996): Diary. (Written by Professor Dr Gottlob Frege in the Time from 10 March to 9 May 1924 (Inquiry)).
@

Mill, John Stuart

(1973-74): A system of logic, ratiocinative and inductive; being a connected view of the principles of evidence, and the methods of scientific investigation. (Editor of the text: J. M. Robson. Introd. by R. F. McRae). Toronto, University of Toronto Press (1973-74).
@

Moore, G. H.

(1988): The emergence of first-order logic. Minneapolis, University of Minnesota Press. In: edited by W. Aspray and P. Kitcher: 'History and Philosophy of Modern Mathematics', pp.95-135. Minnesota Studies in the Philosophy of Science (vol. XI).
@

Mostowski, Andrzej

(1957): On a generalization of quantifiers . (Fundamenta Mathematicae).
@

Munitz, Milton Karl

(1974): Existence and logic. New York: New York University Press (1974).
@

Munson, Ronald

(1976): The way of words: an informal logic. Boston: Houghton Mifflin (1976).
@

Nagel, Ernest

(1956): Logic without metaphysics: and other essays in the philosophy of science . Glencoe, Ill., Free Press (1956).
@

von Neumann, John

(1923): On the introduction of transfinite numbers, 1923. Tr.: $ 'Zur Einführung der transfiniten Zahlen', In: ' Acta litterarum ac scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae, Sectio scientiarum mathematicarum 1 '.
@

von Neumann, John

(1925): An axiomatization of set theory, 1925. Tr. by Stefan Bauer-Mengelberg. Eine Axiomatisierung der Mengenlehre. In: ' Journal für die reine und angewandte Mathematik 154'.
@

Nickerson, RS

(1986): Reflections on reasoning. Hillsdale NJ, Erlbaum.
@

Nilsson, NJ

(1980): Principles of Artificial Intelligence. California, Tioga Publishing.
@

Ockham, William of {ca. 1285 -ca. 1349}:

Summa logicae. Part 1. Ockham's theory of terms. (translated and introduced by Michael J. Loux). Notre Dame, Ind. University of Notre Dame Press (1974).
@

Oliver, James Willard & James L. Stiver

(1971): An introduction to logic. Columbia, S.C.: The Campus Shop, The University of South Carolina.
@

Olson, Robert Goodwin

(1969): Instructor's manual for Meaning and argument: elements of logic . New York: Harcourt, Brace & World (1969).
@

Olson, Robert Goodwin

(1969): Meaning and argument: elements of logic. New York : Harcourt, Brace & World.
@

Ophelders, Willy WM.J

(1992): Automated theorem proving based upon a tableau-method with unification under restrictions. Theory, implementation and results . (proefschrift). KUB,Tilburg, 5-6-1992.
@

Padoa, Alessandro

(1900): Logical introduction to any deductive theory, 1900. Tr. by Jean van Heijenoort. Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque , Bibliothèque du Congrès international de philosophie, Paris, 1900. vol. 3, Paris, Armand Colin.
@

Patterson, Walter Mead

(1983): Logical thinking. (Preliminary ed.) Greenwood, S.C.: .
@

Peano, Guiseppe

(1889): The principles of arithmetic by a new method, 1889. Tr. by Jean van Heijenoort. Arithmetices principia, nova methodo exposita. Turin; Reprinted in: 'Opera scelte', vol. 2. Edizioni cremonese, 1958.
@

Phillips, Hubert {}

(1961): My best puzzles in logic and reasoning. New York, Dover Publications (1961).
@

Pinto, Hans V., Hansen and Robert C.

(1995): Fallacies: classical and contemporary readings . Pennsylvania State, University Press University Park, Pa.
@

Pollock, John L.

(1990): Technical methods in philosophy. Boulder: Westview Press.
@

Popper, Karl Raimund, Sir

(1961): Logik der Forschung. The logic of scientific discovery. New York: Scientific Editions (1961).
@

Post, Emil Leon

(1921): Introduction to a general theory of elementary propositions , 1921. In: 'American journal of mathematics 43'.
@

Przelecki, Marian

(1969): The logic of empirical theories. London, Routledge & K. Paul.
@

Purtill, Richard L.

(1972): Logical thinking. New York: Harper & Row (1972).
@

Quine, Willard Van Orman

(1940): Mathematical logic. New York: W.W. Norton.
@

Quine, Willard Van Orman

(1972): Methods of logic (3d ed.). New York: Holt, Rinehart and Winston.
@

Quine, Willard Van Orman

(1970): Philosophy of logic. Englewood Cliffs, N.J., Prentice-Hall.
@

Quine, W. V.

(1990): Quine to Carnap. In: 'Dear Carnap, Dear Van ', 'The Quine-Carnap Correspondence and Related Work', pp.294-300. Berkeley: University of California Press.
@

Radin, Max

(1940): Law as logic and experience. Hamden, Conn.: Archon Books (1971).
@

Ramsey, F. P.

(1931): The foundations of mathematics. In: ' The Foundations of Mathematics and other Logical Essays', pp.1-61. London: Kegan Paul.
@

Read, Stephen

(1995): Thinking about logic: an introduction to the philosophy of logic. Oxford; New York: Oxford University Press (1995).
@

Reichenbach, Hans {1891-1953}

(1947): Elements of symbolic logic. New York: Macmillan Co (1947).
@

Resnik, Michael D.

(1970): Elementary logic. New York, McGraw-Hill.
@

Resnik, MD

(1987): Choices: An Introduction to Decision Theory. Minneapolis MN, University of Minnesota Press.
@

Richard, Jules

(1905): The principles of mathematics and the problem of sets, 1905. Tr. by Jean van Heijenoort. Les principes des mathématiques et le problème des ensembles. In: 'Revue générale des sciences pures et appliquées 16'.
@

Rosen, KH

(1999): Discrete Mathematics and Its Applications (Fourth Edition). Boston MA, McGraw-Hill.
@

Rosenbloom, Paul C.

(1950): The elements of mathematical logic (1st ed.). New York, Dover Publications.
@

Rosser, John Barkley

(1978): Logic for mathematicians (2d ed.). New York : Chelsea Pub. Co (1978).
@

Rosser, John Barkley & Atwell R. Turquette

(1952): Many-valued logics. Westport, Conn.: Greenwood Press (1952) (1977).
@

Runes, Dagobert David

(1962): Classics in logic; readings in epistemology, theory of knowledge and dialectics. New York, Philosophical Library (1962).
@

Russell, Bertrand

(1902): Letter to Frege, 1902. Tr. by Beverly Woodward.
@

Russell, Bertrand

(1908): Mathematical logic as based on the theory of types, 1908. In: 'American journal of mathematics 30', Reprinted in: Logic and Knowledge, Essays 1901-1950 ; Ed. by Robert Charles Marsh. London, Allen and Urwin, 1956.
@

Russell, Bertrand

(1945): A History of Western Philosophy. New York NY, Simon and Schuster.
@

Russell, Bertrand

(1956): Logic and knowledge: essays 1901-1950. (Edited by Robert Charles Marsh). New York : Capricorn Books (1971).
@

Sainsbury, Mark

(1991): Logical Forms: An Introduction to Philosophical Logic. Oxford, England, Blackwell.
@

Salmon, Wesley C.

(1973): Logic (2d ed.). Englewood Cliffs, N.J., Prentice-Hall.
@

Sanford, David H.

(1989): If P, then Q: conditionals and the foundations of reasoning. London; New York: Routledge (1989).
@

Schönfinkel, Moses

(1924): On the building blocks of mathematical logic, 1924. Tr. by Stefan Bauer-Mengelberg. Über die Bausteine der mathematischen Logik. In: ' Mathematische Annalen 92'.
@

Shcherbatskoi, Fedor Ippolitovich {1866-1942}

(1962): Buddhist logic. New York: Dover Publications (1962).
@

Sher, G.

(1991): The Bounds of Logic. Cambridge, M.I.T. Press.
@

Shirwood, William

(1968): Syncategoremata. William of Sherwood's Treatise on syncategorematic words. (Translated with an introd. and notes by Norman Kretzmann). Minneapolis, University of Minnesota Press (1968).
@

Simpson, RL

(1934): Essentials of Symbolic Logic. London, Routledge.
@

Sinnott, Jan D.

(1998): The development of logic in adulthood: postformal thought and its applications. New York: Plenum Press.
@

Skolem, Thoralf

(1920): Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theory. Löwenheim and generalizations of the theorem, 1920. Tr. by Stefan Bauer-Mengelberg. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. In: ' Videnskapsselskapets skrifter, 1. Mathematik-naturvidenskabelig klasse', no.4.
@

Skolem, Thoralf

(1922; 1923): Some remarks on axiomatized set theory, 1922. Tr. by Stefan Bauer-Mengelberg. Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. In: 'Matematikerkongressen i Helsingfors den 4-7 Juli 1922, Den femte skandinaviska matematikerkongressen' 246. Helsinki, Akademiska Bokhandeln, 1923.
@

Skolem, Thoralf

(1923): The foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains, 1923. Tr. by Stefan Bauer-Mengelberg. Begründung der elementaren Arithmetik durch die rekurrierende Denkweise, $#228;nderlichen mit unendlichem Ausdehnungsbereich. In: ' Videnskapsselskapets skrifter. 1. Matematisk-naturvidenskabelig klasse', no.6.
@

Skolem, Thoralf

(1928): On mathematical logic, 1928. Tr. by Stefan Bauer-Mengelberg and Dagfinn Føllesdal. Über die mathematische Logik. In: ' Norsk matematisk tidsskrift 10'.
@

Luckham, DC and Nilsson, NJ

(1971): Extracting information from resolution proof trees . 'Artificial Intelligence', 2(1), 27-54.
@

Sluga, H.

(1980): Gottlob Frege. Boston, Routledge and Kegan Paul.
@

Smith, Edward E. and Osherson, Daniel

(1995): Invitation to Cognitive Science: Thinking (Second Edition). Cambridge MA, MIT Press.
@

Smullyan, Raymond M.

(1982): The lady or the tiger? And other logic puzzles: including a mathematical novel that features Godel's great discovery . New York: Alfred A. Knopf: Distributed by Random House.
@

Smullyan, Raymond M.

(1985): To mock a mocking bird and other logic puzzles: including an amazing adventure in combinatory logic (1st ed.). New York: Alfred A. Knopf.
@

Snoeck-Henkemans, AF

(1992): Analysing Complex Arguments. The reconstruction of multiple and coordinatively compund argumentation in a critical discussion. (proefschrift). In: Amsterdamse Studies over Taalgebruik, vakgroep Taalbeheersing, Universiteit Amsterdam. Amsterdam, SICSAT.
@

Sommers, Frederic Tamler

(1982): The logic of natural language. Oxford: Clarendon Press; New York: Oxford University Press (1982).
@

Sosa, Ernest (ed.)

(1975): Causation and conditionals. London; New York: Oxford University Press.
@

Stebbing, Lizzie Susan {1885-1943}

(1961): A modern introduction to logic (7th ed.). New York: Harper & Bros (1961).
@

Stevenson, Charles L. (Charles Leslie)

(1908): Ethics and language. New Haven, Yale University Press (1944) (1975).
@

Stiazhkin, N.I.

(1969): History of Mathematical Logic from Leibniz to Peano. Cambridge MA, MIT Press.
@

Strawson, P. F. (ed.)

(1967): Philosophical logic. London, Oxford U.P.
@

Strawson, P. F.

(1974): Introduction to logical theory. London: Methuen.
@

Suppes, Patrick

(1957): Introduction to logic. Princeton, N.J., D. Van Nostrand Co (1957).
@

Swinburne, Richard

(1974): The justification of induction. London, New York, Oxford University Press.
@

Tarski, A.

(1934): Bemerkung der Redaktion. In: 'Fundamenta Mathematicae ', vol. 23 p.161.
@

Tarski, A.

(1937): Einführung in die mathematische Logik und in die Methodologie der Mathematik. Vienna, Springer.
@

Tarski, Alfred

(1940): Introduction to Logic and to the Methodology of Deductive Sciences . (1st edn and many subsequent editions). New York, Oxford University Press.
@

Tarski, Alfred

(1941): Introduction to Logic and to the Methodology of Deductive Sciences . Oxford, England, Oxford University Press.
@

Tarski, A.

(1953): A general method in proofs of undecidability. In: ' Undecidable Theories', pp.1-35. Amsterdam, by A. Tarski, A. Mostowski, and R. Robinson, North-Holland.
@

Tarski, Alfred.

(1965): Introduction to logic and to the methodology of deductive sciences . (Translated by Olaf Helmer) (3d ed., rev.) New York, Oxford University Press.
@

Tarski, A.

(1983): Foundations of the calculus of systems. In: ' Logic, Semantics, Metamathematics', pp.343-383 (second edition). Indianapolis, Hackett.
@

Tarski, Alfred.

(1983): Logic, semantics, metamathematics : papers from 1923 to 1938 . (translated by J.H. Woodger); (2nd ed.: edited and introduced by John Corcoran). Indianapolis, Ind.: Hackett Publishing Company.
@

Tarski, A.

(1983): On definable sets of real numbers. In: ' Logic, Semantics, Metamathematics', pp.110-142 (second edition). Indianapolis, Hackett.
@

Tarski, A.

(1983): On the concept of logical consequence. In: ' Logic, Semantics, Metamathematics', pp.409-420 (second edition). Indianapolis, Hackett.
@

Tarski, A.

(1983): On the foundations of Boolean algebra. In: ' Logic, Semantics, Metamathematics', pp.320-341 (second edition). Indianapolis, Hackett.
@

Tarski, A., and Lindenbaum A.

(1983): On the limitations of the means of expression of deductive theories. In: 'Logic, Semantics, Metamathematics ', pp.384-392 (second edition). Indianapolis, Hackett.
@

Tarski, A.

(1983): Some observations on the concepts of omega-consistency and omega-completeness. In: ' Logic, Semantics, Metamathematics', pp.279-295 (second edition). Indianapolis, Hackett.
@

Tarski, A.

(1983): The concept of truth in formalized languages. In: ' Logic, Semantics, Metamathematics', pp.152-278 (second edition). Indianapolis, Hackett.
@

Tarski, A.

(1986): What are logical notions?. In: ' History and Philosophy of Logic', vol. 7 pp.143-154.
@

Tarski, A.

(1987): A philosophical letter of Alfred Tarski. In: ' Journal of Philosophy', vol. 84 pp.28-32.
@

Tennant, Neil

(1978): Natural logic. Edinburgh, Edinburgh University Press.
@

Thomas, Norman L.

(1966): Modern logic; an introduction. New York, Barnes & Noble.
@

Toulmin, Stephen Edelston

(1958): The uses of argument. Cambridge, University Press.
@

Tuchman, Barbara W.

(1984): The March of Folly: From Troy to Vietnam. New York NY, Alfred A. Knopf.
@

Vaught, R. L.

(1974): Model theory before 1945. In: edited by L. Henkin et al.; 'Proceedings of the Tarski Symposium'. 'Proceedings of Symposia in Pure Mathematics, vol. XXV ', pp.153-172. Providence, American Mathematical Society.
@

Vaught, R. L.

(1986): Tarski's work in model theory. In: ' The Journal of Symbolic Logic', vol. 51 pp.869-882.
@

Walton, Douglas N.

(1991): Begging the question: circular reasoning as a tactic of argumentation (1st ed.). New York: Greenwood Press.
@

Walton, Douglas N.

(1989/1991): Informal logic: a handbook for critical argumentation . Cambridge, New York: Cambridge University Press.
@

Walton, Douglas N.

(1992): Plausible argument in everyday conversation. Albany: State University of New York Press.
@

Wason, Peter Cathcart

(1972): Psychology of reasoning; structure and content. Cambridge, Mass., Harvard University Press (1975).
@

Westrhenen, van, SC, Sommerhalder, R, Tonino, RJFM

(1993): Logica. Een inleiding met toepassingen in de informatica. Schoonhoven, Academic Services.
@

Weyl, Hermann

(1927): Comments on Hilbert's second lecture on the foundations of mathematics , 1927. Tr. by Stefan Bauer-Mengelberg and Dagfinn Føllesdal. Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag 252;ber die Grundlagen der Mathematik. In: ' Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 6'. Hamburg, 1928.
@

White, Alan R.

(1975): Modal thinking. Ithaca, N.Y. Cornell University Press (1975).
@

Whitehead, Alfred North, and Russell, Bertrand

(1910): Incomplete symbols: Descriptions , 1910. In: 'Principia Mathematica', vol. 1, Cambridge Univ. Press, 1910.
@

Wiener, Norbert

(1914): A simplification of the logic of relations, 1914. In: ' Proceedings of the Cambridge Philosophical Society 17'.
@

Wittgenstein, L.

(1922; 1961): Logisch-Philosophische Abhandlung. In: ' Annalen der Naturphilosophische', Vol. XIV, 3/4, 1921. Tractatus Logici-Philosophicus. C.K. Ogden (transl.); 1961 London: Routledge & Kegan Paul. D.F. Pears and B.F. McGuinness (trans.); 1961 New York: Humanities Press.
@

Zermelo, Ernst

(1904): Proof that every set can be well-ordered, 1904. Tr. by Stefan Bauer-Mengelberg. Beweis, daß jede Menge wohlgeordnet werden kann. In: ' Mathematische Annalen 59'.
@

Zermelo, Ernst

(1908): A new proof of the possibility of a well-ordering, 1908. Tr. by Stefan Bauer-Mengelberg. Neuer Beweis für die Möglichkeit einer Wohlordnung. In: ' Mathematische Annalen 65'.
@

Zermelo, Ernst

(1908): Investigations in the foundations of set theory 1, 1908. Tr. by Stefan Bauer-Mengelberg. Untersuchungen über die Grundlagen der Mengenlehre 1. In: ' Mathematische Annalen 65'.
@

Wolenski, Jan

(1989): Logic and Philosophy in the Lwow-Warsaw School. Dordrecht, Kluwer Academic Publishers.
@

Wright, Georg Henrik von

(1983): Practical reason. Ithaca, N.Y.: Cornell University Press (1983).
@

Zucker, Jeffery I. & Tragesser, Robert

(1978): The adequacy problem for inferential logic. In: 'Journal of Philosophical Logic'.