LITERATUUR



Logica, algemeen.
Formele logica, propositie- en predikatenlogica.



@

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. (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. (by Albert A. Bennett and
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):
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,
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.

@

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.
Halle;
Reprinted in:
228;tze '.'
ed. by Ignacio ANGELELLI,
Hildesheim, Olms, 1964.

@

Frege, G.

(1894):
Review of Dr. E. Husserl's Philosophy of Arithmetic (Translation of: Frege, 1972).

@

Frege, G.

(1894):
Review of E. Husserl: Philosophie der Arithmetik.
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.

@

Finsler, Paul

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

@

Gabriel, G. & Kienzler, W.

(1997):
Frege in Jena. Beiträge Zur Spurensicherung.
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

(1930):
The completeness of the axioms of the functional calculus of logic, 1930.
Tr. by Stefan Bauer-Mengelberg.
Die Vollständigkeit der Axiome des logischen Funktionenkalküls.
In: ' Monatshefte für Mathematik und Physik 37 '.

@

Gödel, K.

(1930):
Die Vollständigkeit der Axiome des logischen Funktionenkalküls.
In: ' Monatshefte für Mathematik und Physik ', vol. 37 (1967), pp. 349-360.
The completeness of the axioms of the functional calculus of logic.
In: edited by J. van Heijenoort (1879-1931): 'From Frege to Gödel: A Source Book in Mathematical Logic ', pp. 583-591.
Cambridge, Harvard University Press.

@

Gödel, K.

(1931):
Ü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, pp. 596-616.
In: edited by J. van Heijenoort (1879-1931): 'From Frege to Gödel: A Source Book in Mathematical Logic '.
Cambridge, Harvard University Press.

@

Gödel, Kurt

(1930-1931):
Some metamathematical results on completeness and consistency;
On formally undecidable propositions of Principia Mathematica and related systems 1;
and On completeness and consistency, 1930, 1931.
Tr. by Stefan Bauer-Mengelberg.
Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit .
In: ' Anzeiger der Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse 67 '.
Über formal unentscheidbare Sätze der Principia mathematica und verwandter System 1 .
252;r Mathematik und Physik 38 '.'
Über Vollständigkeit und Widerspruchsfreiheit,
Ergebnisse eines mathematischen Kolloquiums 3. 1932.

@

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. (Chap. 5 of:
233;orie de la démonstration '. 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 Timefrom 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
246;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):
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;relse '.'
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 '.