Logic and philosophical analysis

[1]  T. Uebel Rediscovering the Forgotten Vienna Circle , 1991 .

[2]  E. Tolman The determiners of behavior at a choice point. , 1938 .

[3]  R. Carnap On the Character of Philosophic Problems , 1934, Philosophy of Science.

[4]  Philip Mirowski,et al.  More Heat Than Light: Economics as Social Physics , 1989 .

[5]  Stewart Shapiro,et al.  Second-order languages and mathematical practice , 1985, Journal of Symbolic Logic.

[6]  A. Richardson Two Dogmas about Logical Empiricism: Carnap and Quine on Logic, Epistemology, and Empiricism , 1997 .

[7]  A. Eddington,et al.  On the Instability of Einstein's Spherical World , 1930 .

[8]  Ludwig Wittgenstein,et al.  Lecture on Ethics , 2014 .

[9]  C. L. Hull Simple trial and error learning: A study in psychological theory. , 1930 .

[10]  Barry Smith Husserl’s Theory of Meaning and Reference , 1994 .

[11]  W. Sauer On the Kantian background of Neopositivism , 1989 .

[12]  E. Mach Populär-wissenschaftliche Vorlesungen , 1903 .

[13]  E. Holt Response and Cognition I: The Specific-Response Relation , 1915 .

[14]  R. Dunn On Mental Physiology; or, the Correlations of Physiology and Psychology , 1858 .

[15]  T. Regge General relativity without coordinates , 1961 .

[16]  E. Cartan Sur les variétés à connexion affine et la théorie de la relativité généralisée. (première partie) , 1923 .

[17]  C. Stevenson,et al.  IV.—PERSUASIVE DEFINITIONS , 1938 .

[18]  S. Hook Is Physical Realism Sufficient , 1944 .

[19]  T. Uebel Anti-Foundationalism and the Vienna Circle's Revolution in Philosophy , 1996, The British Journal for the Philosophy of Science.

[20]  M. Blaug Was There a Marginal Revolution , 1972 .

[21]  Kevin Mulligan,et al.  Speech Act And Sachverhalt , 1987 .

[22]  J. Hadamard,et al.  Cinq lettres sur la théorie des ensembles , 1905 .

[23]  B. Skinner,et al.  The operational analysis of psychological terms , 1945, Behavioral and Brain Sciences.

[24]  Ruth C. Barcan A Functional calculus of first order based on strict implication , 1946, Journal of Symbolic Logic.

[25]  C. Lewis IV.—IMPLICATION AND THE ALGEBRA OF LOGIC , 1912 .

[26]  B. Russell Mathematical Logic as Based on the Theory of Types , 1908 .

[27]  David Bell Solipsism and Subjectivity , 1996 .

[28]  R. Mises,et al.  Wahrscheinlichkeit, Statistik und Wahrheit. , 1936 .

[29]  J. Jastrow,et al.  A symposium on the subconscious. , 1907 .

[30]  S. Kleene General recursive functions of natural numbers , 1936 .

[31]  G. Moore The Origin of The Knowledge of Right and Wrong. Franz Brentano , 1903 .

[32]  Crispin Wright,et al.  Wittgenstein 's Later Philosophy of Mind: Sensation, Privacy, and Intention , 1989 .

[33]  S. D. Otter British Idealism and Social Explanation , 1996 .

[34]  G. F. Stout,et al.  Analytic psychology, Vol 1. , 1896 .

[35]  C. Broad XIII.—Is “Goodness” A Name of a Simple Non-Natural Quality? , 1934 .

[36]  Steven Weinberg,et al.  The Cosmological Constant Problem , 1989 .

[37]  G. Fessard,et al.  Hegel, le christianisme et l'histoire , 1990 .

[38]  M. Cornforth Is Solipsism Compatible with Common Sense , 1934 .

[39]  Francis W. Sears,et al.  An Introduction to Thermodynamics, the Kinetic Theory of Gases, and Statistical Mechanics , 1953 .

[40]  C. Hempel The Function of General Laws in History , 1942 .

[41]  K. Apel,et al.  The problem of philosophical fundamental-grounding in light of a transcendental pragmatic of language , 1975 .

[42]  Michael Friedman,et al.  Epistemology in theAufbau , 1992, Synthese.

[43]  John P. McCormick Carl Schmitt's critique of liberalism : against politics as technology , 1997 .

[44]  J. Dewey Brief Studies in Realism. II , 1911 .

[45]  Christopher Adair-Toteff Hans Vaihinger’s Kant-Studien , 1996 .

[46]  B. Russell On the Experience of Time , 1915 .

[47]  D. Hilbert Über das Unendliche , 1926 .

[48]  F. Brentano,et al.  Philosophische Untersuchungen zu Raum, Zeit und Kontinuum , 1976 .

[49]  M. Schlick Raum und Zeit in der gegenwärtigen Physik: Zur Einführung in das Verständnis der allgemeinen Relativitätstheorie , 1917 .

[50]  C. L. Hull Mind, mechanism, and adaptive behavior. , 1937 .

[51]  H. Vaihinger,et al.  „Die Philosophie des Als Ob." , 1911 .

[52]  Jan von Plato Creating Modern Probability: Index of Subjects , 1994 .

[53]  W. Ackermann Zum Hilbertschen Aufbau der reellen Zahlen , 1928 .

[54]  S. Pepper Misconceptions Regarding Behaviorism , 1923 .

[55]  E. Nagel Mechanistic Explanation and Organismic Biology , 1951 .

[56]  J. Norton General covariance and the foundations of general relativity: eight decades of dispute , 1993 .

[57]  Herbert B. Enderton,et al.  Alonzo Church and the Reviews , 1998, Bulletin of Symbolic Logic.

[58]  Wilfried Sieg Step by recursive step: Church's analysis of effective calculability , 1997, Bull. Symb. Log..

[59]  K. Maccorquodale,et al.  On a distinction between hypothetical constructs and intervening variables. , 1948, Psychological review.

[60]  P. Nicholson A Bibliography of the Writings of Bernard Bosanquet (1848–1923) , 1978 .

[61]  C. Anthony Anderson,et al.  Alonzo Church's Contributions to Philosophy and Intensional Logic , 1998, Bulletin of Symbolic Logic.

[62]  C. Stevenson,et al.  II—THE EMOTIVE MEANING OF ETHICAL TERMS , 1937 .

[63]  Zbigniew Stachniak,et al.  Leśniewski's Systems. Protothetic , 1998 .

[64]  Dennis N. Kenedy Darnoi The Unconscious and Eduard von Hartmann , 1967 .

[65]  E. Tolman A behaviorist's definition of consciousness. , 1927 .

[66]  A. Schutz,et al.  Der sinnhafte Aufbau der sozialen Welt : eine Einleitung in die verstehende Soziologie , 1932 .

[67]  W. Stace,et al.  Novelty, Indeterminism, and Emergence , 1939 .

[68]  G. Mueller Die Gesichtspunkte und die Tatsachen der psychophysischen Methodik , 1904 .

[69]  J. Woleński The Lvov-Warsaw School and the Vienna Circle , 1989 .

[70]  R. Harrison,et al.  The Rise and Fall of Behaviorism , 1938 .

[71]  Gregory H. Moore Zermelo’s Axiom of Choice , 1982 .

[72]  G. Stratton A Psychological Test of Virtue , 1901, The International Journal of Ethics.

[73]  Otto Neurath Empirische Soziologie: Der Wissenschaftliche Gehalt der Geschichte und Nationalökonomie , 1931 .

[74]  E. Zermelo Untersuchungen über die Grundlagen der Mengenlehre. I , 1908 .

[75]  J. Searle Intentionality: Name index , 1983 .

[76]  Jeremy J. Gray Years ago , 1998 .

[77]  G. Paul,et al.  Symposium: Is There a Problem about Sense-Data? , 1936 .

[78]  M. Poincaré,et al.  Sur la dynamique de l’électron , 1906 .

[79]  H. L. A. Hart,et al.  Positivism and the Separation of Law and Morals , 1958 .

[80]  G. Moore I.—THE REFUTATION OF IDEALISM , 1903 .

[81]  J. Brakel The possible influence of the discovery of radio-active decay on the concept of physical probability , 1985 .

[82]  F. Brentano,et al.  Die Abkehr vom Nichtrealen , 1966 .

[83]  Roscoe Pound,et al.  LIBERTY OF CONTRACT , 1909 .

[84]  M. Marion OXFORD REALISM: KNOWLEDGE AND PERCEPTION I , 2000 .

[85]  L. Morgan Systems of Consanguinity and Affinity of the Human Family , 2021, Politics and Kinship.

[86]  E. Rothacker Logik und Systematik der Geisteswissenschaften , 1927 .

[87]  K. Danziger,et al.  The positivist repudiation of Wundt. , 1979, Journal of the history of the behavioral sciences.

[88]  E. Zermelo Beweis, daß jede Menge wohlgeordnet werden kann , 1904 .

[89]  R. Braithwaite Solipsism and the "Common Sense View of the World" , 1933 .

[90]  A. Church A Bibliography of Symbolic Logic , 1936 .

[91]  Jerome Stolnitz On the Origins of "Aesthetic Disinterestedness" , 1961 .

[92]  S. Hook What is Materialism , 1934 .

[93]  G. Santayana Dewey's Naturalistic Metaphysics , 1925 .

[94]  G. D. Laguna Dualism in Animal Psychology , 1918 .

[95]  L. Rubinoff Collingwoods and the Reform of Metaphysics: A Study in the Philosopy of Mind , 1970 .

[96]  J. Czelakowski,et al.  Leśniewski's Systems , 1984 .

[97]  C. Mercier “The Nervous System and the Mind” , 1888, Nature.

[98]  G. Gale Science and the philosophers , 1984, Nature.

[99]  S. Paulson The Neo-Kantian Dimension of Kelsen's Pure Theory of Law , 1992 .

[100]  J. O'donnell The crisis of experimentalism in the 1920s: E. G. Boring and his uses of history. , 1979 .

[101]  Ruth C. Barcan The identity of individuals in a strict functional calculus of second order , 1947, Journal of Symbolic Logic.

[102]  R. Black W. S. Jevons and the Foundation of Modern Economies , 1972 .

[103]  W. H. F. Barnes A Suggestion about Value , 1934 .

[104]  R. Amundson E. C. Tolman and the Intervening Variable: A Study in the Epistemological History of Psychology , 1983, Philosophy of Science.

[105]  O. Gierke Das Wesen der menschlichen Verbände : Rede, bei Antritt des Rektorats am 15. Oktober 1902 , 1902 .

[106]  R. Carnap Überwindung der Metaphysik durch logische Analyse der Sprache , 1931 .

[107]  S. Collini HOBHOUSE, BOSANQUET AND THE STATE: PHILOSOPHICAL IDEALISM AND POLITICAL ARGUMENT IN ENGLAND 1880–1918 , 1976 .

[108]  J. Raz Kelsen's Theory of the Basic Norm , 1974 .

[109]  K. Gödel Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .

[110]  H. J. Paton,et al.  The Emotive Theory of Ethics , 1948 .

[111]  T. Skolem,et al.  Einige Bemerkungen zu der Abhandlung von E. Zermelo: "Über die Definitheit in der Axiomatik" , 1930 .

[112]  R. Perry Docility and purposiveness. , 1918 .

[113]  L. O'brien Solipsism and Self-Reference , 1996 .

[114]  D. McManus Philosophy in Question: Philosophical Investigations 133 , 1995 .

[115]  D. L. Deegan Wilhelm Herrmann: A Reassessment , 1966 .

[116]  R. Braithwaite VI.—Verbal Ambiguity and Philosophical Analysis , 1928 .

[117]  Ernest Nagel,et al.  The Formation of Modern Conceptions of Formal Logic in the Development of Geometry , 1939, Osiris.

[118]  Maria Dimova-Cookson T.H. Green's Moral and Political Philosophy: A Phenomenological Perspective , 2001 .

[119]  Alonzo Church,et al.  A note on the Entscheidungsproblem , 1936, Journal of Symbolic Logic.

[120]  A. Lovejoy THE IMPORT OF VITALISM. , 1911, Science.

[121]  G. Gentzen Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .

[122]  A. Rojszczak Truth-bearers from Twardowski to Tarski , 1998 .

[123]  Emil L. Post Introduction to a General Theory of Elementary Propositions , 1921 .

[124]  W. O'neil American Behaviorism , 1995 .

[125]  Hermann Lotze Geschichte der Aesthetik in Deutschland , 1868 .

[126]  J. Watson Image and Affection in Behavior , 1913 .

[127]  S. Paulson Hans Kelsen's Earliest Legal Theory: Critical Constructivism , 1996 .

[128]  C. Murchison,et al.  Psychologies of 1930 , 1930 .

[129]  K. Gödel An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation , 1949 .

[130]  C. Broad VII.—Some Reflections on Moral-Sense Theories in Ethics , 1945 .

[131]  R. Sellars Does Naturalism Need Ontology , 1944 .

[132]  A. Church An Unsolvable Problem of Elementary Number Theory , 1936 .

[133]  A. Trautman Theory of Gravitation , 1973 .

[134]  A. Ayer Russell and Moore , 1971 .

[135]  F. Woodbridge Consciousness, the Sense Organs, and the Nervous System , 1909 .

[136]  A. Einstein The Foundation of the General Theory of Relativity , 1916 .

[137]  M. Sokal The Gestalt psychologists in behaviorist America. , 1984, The American historical review.

[138]  J. Meadowcroft Conceptualizing the State , 1995 .

[139]  F. Woodbridge The Belief in Sensations , 1913 .

[140]  R. Perry A Behavioristic View of Purpose , 1921 .

[141]  E. Zermelo Über Grenzzahlen und Mengenbereiche , 1930 .

[142]  Peter M. Sullivan The ‘Truth’ in Solipsism, and Wittgenstein's Rejection of the A Priori , 1996 .

[143]  D. Pears The Originality of Wittgenstein's Investigation of Solipsism , 1996 .

[144]  Jaegwon Kim,et al.  Emergence or Reduction?: Essays on the Prospects of Nonreductive Physicalism , 1992 .

[145]  L. Mises Die Gemeinwirtschaft: Untersuchungen über den Sozialismus , 1923 .

[146]  M. Friedman Foundations of space-time theories : relativistic physics and philosophy of science , 1986 .

[147]  M. Wertheimer Untersuchungen zur Lehre von der Gestalt. II , 1923 .

[148]  E. C. Zeeman,et al.  The topology of Minkowski space , 1967 .

[149]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[150]  A. Kolmogoroff Grundbegriffe der Wahrscheinlichkeitsrechnung , 1933 .

[151]  John W. Dawson,et al.  The compactness of first-order logic:from gödel to lindström , 1993 .

[152]  A. Einstein Zur Elektrodynamik bewegter Körper , 1905 .

[153]  Bertrand Russell,et al.  The Philosophy of Logical Atomism: Lectures 1-2 , 1918 .

[154]  C. Ulises Moulines,et al.  Making sense of Carnap's “Aufbau” , 1991, Erkenntnis.

[155]  C. Hempel,et al.  Studies in the Logic of Explanation , 1948, Philosophy of Science.

[156]  P. Natorp Kant und die Marburger Schule. , 1912 .

[157]  C. Adair‐Toteff The neo‐kantian Raum controversy , 1994 .

[158]  E. Brunner Religionsphilosophie Evangelischer Theologie , 1927 .

[159]  J. Ehlers The Nature and Structure of Spacetime , 1973 .

[160]  Merrilee H. Salmon Ethical Considerations in Anthropology and Archaeology, or Relativism and Justice for All , 1997, Journal of Anthropological Research.

[161]  Leopold Löwenheim Über Möglichkeiten im Relativkalkül , 1915 .

[162]  E. Nagel,et al.  Are naturalists materialists , 1945 .

[163]  W. Quine Main trends in recent philosophy: two dogmas of empiricism. , 1951 .

[164]  G. D. Laguna Sensation and Perception. I: The Genetic Relationship , 1916 .

[165]  Paul Bernays,et al.  Die Bedeutung Hilberts für die Philosophie der Mathematik , 2005, Naturwissenschaften.

[166]  G. Reisch Planning science: Otto Neurath and the International Encyclopedia of Unified Science , 1994, The British Journal for the History of Science.

[167]  R. Coleman,et al.  A new semantics for the epistemology of geometry I: Modeling spacetime structure , 1995 .

[168]  R. Carnap Logische Syntax der Sprache , 1935 .

[169]  W. H. F. Barnes V.—The Myth of Sense-Data , 1945 .

[170]  C. Guignon,et al.  The Cambridge companion to Heidegger , 1993 .

[171]  B. McLaughlin Emergence and Supervenience , 1997 .

[172]  R. Woodworth,et al.  Contemporary schools of psychology (rev. ed.). , 1948 .

[173]  Barry Smith,et al.  On the Cognition of States of Affairs , 1987 .

[174]  A. Rojszczak Why Should a Physical Object Take on the Role of Truth-Bearer? , 1999 .

[175]  Ruth C. Barcan The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication , 1946 .

[176]  John Hitchin Booksellers and the idea of Europe , 1995 .

[177]  G. Holton On the Origins of the Special Theory of Relativity , 1960 .

[178]  G. Moore II.—The Subject-Matter of Psychology , 1910 .

[179]  H. Feigl Principles and Problems of Theory Construction in Psychology. , 1951 .

[180]  A. Einstein Prinzipielles zur allgemeinen Relativitätstheorie , 1918 .

[181]  R. Sellars Is Naturalism Enough , 1944 .

[182]  M. Schlick,et al.  Positivismus und Realismus , 1932 .

[183]  H. Reichenbach Relativitätstheorie und Erkenntnis Apriori , 2022, Nature.

[184]  William Child Solipsism and First Person/Third Person Asymmetries , 1996 .

[185]  R. Pound LAW AND THE SCIENCE OF LAW IN RECENT THEORIES , 1934 .

[186]  T. Ryckman “P(oint)-c(oincidence) thinking”: The ironical attachment of logical empiricism to general relativity (and some lingering consequences) , 1992 .

[187]  M. Rutherford Institutions in economics: Bibliography , 1994 .

[188]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[189]  E. Titchener The Postulates of a Structural Psychology , 1898 .

[190]  E. Hubble A RELATION BETWEEN DISTANCE AND RADIAL VELOCITY AMONG EXTRA-GALACTIC NEBULAE. , 1929, Proceedings of the National Academy of Sciences of the United States of America.

[191]  M. M. G. Ricci,et al.  Méthodes de calcul différentiel absolu et leurs applications , 1900 .

[192]  G. E. Moore,et al.  XII.—Symposium—The Status of Sense-Data , 1914 .

[193]  Joel Franklin,et al.  Mathematical Methods of Economics , 1983 .

[194]  J. Barkley Rosser,et al.  Extensions of some theorems of Gödel and Church , 1936, Journal of Symbolic Logic.

[195]  E. V. Huntington Sets of independent postulates for the algebra of logic , 1904 .

[196]  R. Wollheim,et al.  Philosophical essays on Freud: Contents , 1982 .

[197]  Stephen Cole Kleene,et al.  On the interpretation of intuitionistic number theory , 1945, Journal of Symbolic Logic.

[198]  Bart Schultz Essays on Henry Sidgwick , 1992 .

[199]  J. Dewey "Half-Hearted Naturalism" , 1927 .

[200]  J. Randall Idealistic Social Philosophy and Bernard Bosanquet , 1966 .

[201]  G. Stock,et al.  Negation: Bradley and Wittgenstein , 1985, Philosophy.

[202]  S. Crocker The oscillating now : Heidegger on the failure of bergsonism , 1997 .

[203]  E. Tolman A behavioristic theory of ideas. , 1926 .

[204]  J. Young Nietzsche's Philosophy of Art: Nietzsche's Philosophy of Art , 1992 .

[205]  F. P. Harris The Neo-Idealist Political Theory: Its Continuity with the British Tradition , 1945 .

[206]  L. Stebbing Concerning Solipsism : Reply to R. B. Braithwaite , 1934 .

[207]  M. Prince,et al.  A symposium on the subconscious. , 1907 .

[208]  Friedrich Stadler,et al.  Scientific Philosophy Origins and Developments , 1993 .

[209]  W. Jaffé,et al.  MENGER, JEVONS AND WALRAS DE‐HOMOGENIZED , 1976 .

[210]  N. Holt Ernst Haeckel's monistic religion. , 1971, Journal of the history of ideas.

[211]  G. E. Moore III.—THE NATURE OF JUDGMENT , 1899 .

[212]  Jerome Stolnitz On the Significance of Lord Shaftesbury in Modern Aesthetic Theory , 1961 .

[213]  M. Scheler,et al.  Max Scheler (1874-1928): Centennial Essays , 1974 .

[214]  D. Pears The False Prison Volume One , 1987 .

[215]  Warren D. Goldfarb,et al.  Logic in the twenties: the nature of the quantifier , 1979, Journal of Symbolic Logic.

[216]  Edmund L. Gettier Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.

[217]  B. Russell II.—On Denoting , 1905 .

[218]  R. Perry The Cognitive Interest and its Refinements , 1921 .

[219]  Laurence D. Smith,et al.  Clark Hull, Robert Cummins, and Functional Analysis , 1984, Philosophy of Science.

[220]  Hans Kelsen,et al.  The Pure Theory of Law and Analytical Jurisprudence , 1941 .

[221]  M. Schlick Die wende der Philosophie , 1930 .

[222]  J. Barbour Relational Concepts of Space and Time* , 1982, The British Journal for the Philosophy of Science.

[223]  Jan von Plato Creating Modern Probability by Jan von Plato , 1994 .

[224]  F. Bennett â–œFree at last?â– An allegedly dispensable publisher sees the Internet as a blessing , 2000 .

[225]  M. Schlick,et al.  Über das Fundament der Erkenntnis , 1934 .

[226]  I. Stamatescu On Renormalization in Quantum Field Theory and the Structure of Space-Time , 1994 .

[227]  Wilfried Sieg Hilbert's Program Sixty Years Later , 1988, J. Symb. Log..

[228]  Edgar A. Singer join,et al.  On Mind as an Observable Object , 1911 .

[229]  S. Kleene $\lambda$-definability and recursiveness , 1936 .

[230]  D. Malament,et al.  Causal Theories of Time and the Conventionality of Simultaneity , 1977 .

[231]  H. Driesch Der vitalismus als geschichte und als lehre, von Dr. Hans Driesch. , 1905 .

[232]  R. Perry The Mind Within and the Mind Without , 1909 .

[233]  J. Dewey Psychological Doctrine and Philosophical Teaching , 1914 .

[234]  Willard Van Orman Quine,et al.  Designation and Existence , 1939 .

[235]  T. Skolem Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen , 1934 .

[236]  W. V. Quine,et al.  The problem of interpreting modal logic , 1947, Journal of Symbolic Logic.

[237]  J. O. Urmson VIII—A Defence of Intuitionism , 1975 .

[238]  H. A. Prichard,et al.  II.—DOES MORAL PHILOSOPHY REST ON A MISTAKE ? , 1912 .

[239]  A. Lovejoy THE MEANING OF DRIESCH AND THE MEANING OF VITALISM. , 1912, Science.

[240]  De Marchi Mill and Cairnes and the Emergence of Marginalism in England , 1972 .

[241]  K. Koffka Perception: an introduction to the Gestalt-Theorie. , 1922 .

[242]  R. Yerkes Behaviorism and Genetic Psychology , 1917 .

[243]  E. Zermelo Neuer Beweis für die Möglichkeit einer Wohlordnung , 1907 .

[244]  J. Bradley HEGEL IN BRITAIN : A BRIEF HISTORY OF BRITISH COMMENTARY AND ATTITUDES (1) , 1979 .

[245]  G. Cantor Ueber unendliche, lineare Punktmannichfaltigkeiten , 1883 .

[246]  D. Hilbert,et al.  Über homogene Functionen. , 1900 .

[247]  Robert J. Fogelin WITTGENSTEIN: Second edition , 1995 .

[248]  Wesley C. Salmon,et al.  Hans Reichenbach : logical empiricist , 1979 .

[249]  Peter Galison,et al.  Aufbau/Bauhaus: Logical Positivism and Architectural Modernism , 1990, Critical Inquiry.

[250]  P. Bernays Axiomatische Untersuchung des Aussagen-Kalkuls der “Principia Mathematica” , 1926 .

[251]  J. Woleński Kotarbiński : logic, semantics, and ontology , 1990 .

[252]  Leon Henkin,et al.  The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.

[253]  R. Sellars Dewey on Materialism , 1943 .

[254]  Hendrik Pieter Barendregt,et al.  The Impact of the Lambda Calculus in Logic and Computer Science , 1997, Bulletin of Symbolic Logic.