Alonzo Church
#30
Most Influential Person
American mathematician
Alonzo Church's AcademicInfluence.com Rankings
Philosophy
#16
World Rank
#65
Historical Rank
#10
USA Rank
Mathematical Logic
#1
World Rank
#3
Historical Rank
#1
USA Rank
Logic
#2
World Rank
#11
Historical Rank
#1
USA Rank
Download Badge
Philosophy Mathematics
Alonzo Church's Degrees
- PhD Mathematics Princeton University
- Bachelors Mathematics Princeton University
Similar Degrees You Can Earn
Why Is Alonzo Church Influential?
(Suggest an Edit or Addition)According to Wikipedia, Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language . Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Alonzo Church's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Papers
- A formulation of the simple theory of types (1940) (2259)
- An Unsolvable Problem of Elementary Number Theory (1936) (1658)
- The calculi of lambda-conversion (1941) (1161)
- A note on the Entscheidungsproblem (1936) (720)
- A Set of Postulates for the Foundation of Logic (1932) (576)
- Introduction to Mathematical Logic (1991) (404)
- Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (1937) (397)
- On the concept of a random sequence (1940) (386)
- Some properties of conversion (1936) (333)
- Logic, arithmetic, and automata (1962) (261)
- A Formulation of the Logic of Sense and Denotation (1952) (229)
- Edward F. Moore. Gedanken-experiments on sequential machines. Automata studies , edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printed, Princeton University Press, Princeton1956, pp. 129–153. (1958) (180)
- On Carnap's Analysis of Statements of Assertion and Belief (1950) (145)
- Intensional isomorphism and identity of belief (1954) (128)
- Comparison of Russell's resolution of the semantical antinomies with that of Tarski (1976) (121)
- Set Theory with a Universal Set (1974) (108)
- Logische Syntax der Sprache. (1975) (100)
- Existence and Description in Formal Logic (1973) (97)
- The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) (1985) (96)
- Astounding Science Fiction. (1952) (93)
- A Bibliography of Symbolic Logic (1936) (93)
- The Need for Abstract Entities in Semantic Analysis (1951) (82)
- Formal definitions in the theory of ordinal numbers (1937) (82)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II) (1973) (78)
- Introduction to Mathematical Logic. Volume I. (1957) (76)
- The constructive second number class (1938) (67)
- Carnap's Introduction to Semantics (1943) (66)
- A. M. Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society , 2 s. vol. 42 (1936–1937), pp. 230–265. (1937) (53)
- A Revised Formulation of the Logic of Sense and Denotation. Alternative (1) (1993) (50)
- Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem (1947) (47)
- Correction to A note on the Entscheidungsproblem (1936) (37)
- Analysis of Data When the Response is a Curve (1966) (36)
- Alternatives to Zermelo’s assumption (34)
- Review: Jan Lukasiewicz, The Shortest Axiom of the Implicational Calculus of Propositions (1948) (31)
- The Richard Paradox (1934) (31)
- Review: W. V. Quine, A Logistical Approach to the Ontological Problem (1939) (30)
- Review: Emil L. Post, Formal Reductions of the General Combinatorial Decision Problem (1943) (27)
- Review: D. A. Bocvar, On a Three-Valued Logical Calculus and its Application to the Analysis of Contradictions (1939) (25)
- Russellian Simple Type Theory (1973) (24)
- Some theorems on definability and decidability (1952) (23)
- Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines (1958) (22)
- Propositions and Sentences (1957) (21)
- De Morgan, Augustus. (1975) (20)
- Introduction to Mathematical Logic. Part I (1944) (19)
- On the law of excluded middle (18)
- Review: Carew A. Meredith, Single Axioms for the Systems $(C, N), (C, 0)$ and $(A, N)$ of the Two- Valued Propositional Calculus (1954) (17)
- Conditioned disjunction as a primitive connective for the propositional calculus (1948) (17)
- A Proof of Freedom from Contradiction. (1935) (17)
- Review: Willard V. Quine, Notes on Existence and Necessity (1943) (16)
- Review: Garrett Birkhoff, John von Neumann, The Logic of Quantum Mechanics (1937) (16)
- Review: Alfred Jules Ayer, Language, Truth and Logic (1949) (16)
- Review: Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, Synthesis of Electronic Computing and Control Circuits (1953) (14)
- Zur Begrundung der Statistischen Transformationstheorie der Quantenphysik (1937) (12)
- Russell's Theory of Identity of Propositions in Philosophy of Science History of Science. (1984) (12)
- Review: George Boole, An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities (1951) (12)
- Review: M. H. Stone, The theory of Representations for Boolean Algebras (1936) (12)
- Review: P. S. Novikoff, On the Consistency of Certain Logical Calculus (1946) (11)
- Review: R. A. Kocourek, An Evaluation of Symbolic Logic (1949) (11)
- Reviews. Willard V. Quine. Notes on existence and necessity. The journal of philosophy , vol. 40 (1943), pp. 113–127. (1943) (11)
- Additions and corrections to A bibliography of symbolic logic (1938) (10)
- Special Cases of the Decision Problem (1951) (10)
- Review: Claude E. Shannon, A Symbolic Analysis of Relay and Switching Circuits (1953) (8)
- Schröder's anticipation of the simple theory of types (1976) (8)
- Post Emil L.. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105. (1937) (8)
- Review: Motinori Goto, Application of Logical Mathematics to the Theory of Relay Networks (1955) (8)
- Review: J. Findlay, Goedelian Sentences: A Non-Numerical Approach (1942) (7)
- Luitgard Wundheiler and Alex Wundheiler. Some logical concepts for syntax. Machine translation of languages, Fourteen essays , edited by William N. Locke and A. Donald Booth, John Wiley a Sons, New York1955 (co-published with The Technology Press), pp. 194–207. (1956) (7)
- Review: Jan Lukasiewicz, On Variable Functors of Propositional Arguments; C. A. Meredith, On an Extended System of the Propositional Calculus (1951) (7)
- Review: Norbert Wiener, Cybernetics. Or Control and Communication in the Animal and the Machine (1949) (7)
- Review: Everett W. Hall, Some Dangers in the Use of Symbolic Logic in Psychology (1942) (6)
- The Calculi of Lambda Conversion. (Am-6), Volume 6 (1985) (6)
- Schröder's anticipation of the simple theory of types (1939) (5)
- Review: Haskell B. Curry, The Inconsistency of Certain Formal Logics (1942) (5)
- Review: Willard V. Quine, Paul Arthur Schilpp, Whitehead and the Rise of Modern Logic (1942) (5)
- Review: Peter Geach, Max Black, Translations from the Philosophical Writings of Gottlob Frege (1953) (5)
- Review: Gottlob Frege, A Source Book in Mathematical Logic 1879-1931 (1972) (5)
- Review: Karel Lambert, Existential Import Revisited (1965) (4)
- Review: Paul Finsler, Gibt es Unentscheidbare Satze? (1946) (4)
- Review: Marvin Farber, The foundation of Phenomenology. Edmund Husserl and the Quest for a Rigorous Science of Philosophy (1944) (4)
- Self-Contradictory Propositions. (1940) (4)
- An Independence Question in Recursive Arithmetic (1971) (4)
- Farber Marvin. The foundation of phenomenology. Edmund Husserl and the guest for a rigorous science of philosophy. Harvard University Press, Cambridge, Mass., 1943, xi + 585 pp. (1944) (4)
- Review: Richard M. Friedberg, 4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive (1959) (3)
- Mathematics and Logic (1966) (3)
- Berkeley Edmund C.. The algebra of states and events. The scientific monthly, vol. 78 (1954), pp. 232–242. (1955) (3)
- Review: Edmund C. Berkeley, Boolean Algebra (The Technique for Manipulating "and," "or," "not," and Conditions) and Applications to Insurance (1938) (3)
- A bibliography of symbolic logic, 1666-1935 (1984) (3)
- Special Cases of the Decision Problem. A Correction (1952) (3)
- Review: L. Jonathan Cohen, Are Philosophical Theses Relative to Language? (1950) (3)
- Review: Timothy Smiley, On Lukasiewicz's L-Modal System (1962) (3)
- Quine Willard Van Orman. Mathematical logic. W. W. Norton & Company, New York 1940, xiii + 348 pp. (1940) (3)
- Review: Emil L. Post, Finite Combinatory Processes--Formulation 1 (1937) (3)
- Brief Bibliography of Formal Logic (1952) (3)
- Review: Julius Weinberg, A Possible Solution of the Heterological Paradox (1938) (3)
- Review: W. V. Quine, Introductory Note; Bertrand Russell, Mathematical Logic as Based on the Theory of Types (1974) (3)
- Review: Rudolf Carnap, Foundations of Logic and Mathematics (1939) (3)
- On irredundant sets of postulates (1925) (3)
- Grundlagen der Analysis (das Rechnen mit ganzen, rationalen, irrationalen, komplexen Zahlen) : Erganzung zu den Lehrbüchern der Differential- und Integralrechnung (1931) (2)
- Review: Peter Thomas Geach, On Rigour in Semantics; R. M. Martin, Mr. Geach on Mention and Use (1950) (2)
- Review: George Boole, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning (1948) (2)
- Review: Yu. V. Matijasevic, Diophantine Representation of Recursively Enumerable Predicates (1972) (2)
- Review: Z. P. Dienes, On an Implication Function in Many-Valued Systems of Logic (1950) (2)
- Review: Dana Scott, Ralph Schoenman, Existence and Description in Formal Logic (1973) (2)
- Review: Frederic B. Fitch, The Problem of the Morning Star and the Evening Star (1950) (2)
- On the Form of Differential Equations of a System of Paths (2)
- Review: Janos Suranyi, Contributions to the Reduction Theory of the Decision Problem. Second Paper. Three Universal, One Existential Quantifiers (1953) (2)
- Wittgenstein Ludwig. Tractatus logico-philosophicus . With an introduction by Russell Bertrand. Fourth impression. Routledge & Kegan Paul, London 1949, 189 pp. (1950) (2)
- Principia: Volumes II and III (1928) (2)
- Review: Stuart Hampshire, Multiply General Sentences (1950) (2)
- Review: A. N. Prior, Symmetry, Transitivity and Reflexivity (1960) (2)
- Review: E. T. Whittaker, The New Algebras and Their Significance for Physics and Philosophy (1944) (2)
- Chwistek Leon. Überwindung des Begriffsrealismus. Studia philosphica, vol. 2 (offprint 1937) pp. 1–18. (1937) (2)
- Review: Augustus de Morgan, On the Syllogism and other Logical Writings by Augustus de Morgan (1976) (2)
- Review: John Myhill, A System Which can Define Its Own Truth (1956) (2)
- Review: Willard V. Quine, A Short Course in Logic. Chapters I-VII (1947) (2)
- Wiener Norbert. Cybernetics. Or control and communication in the animal and the machine. The Technology Press; John Wiley & Sons, Inc., New York; Hermann et Сie, Paris; 1948, 194 pp. (1949) (2)
- Review: Ernest Nagel, Logic Without Ontology (1945) (2)
- Uniqueness of the Lorentz Transformation (1924) (2)
- Review: Friedrich Waismann, Einfuhrung in Das Mathematische Denken. Die Begriffsbildung der Modernen Mathematik (1948) (2)
- Review: S. C. Kleene, A note on recursive functions (1936) (2)
- Quine on Logistic (1935) (2)
- Review: Karl Popper, The Logic of Scientific Discovery (1975) (2)
- Modality and Probability. (1937) (2)
- Review: Laszlo Kalmar, Contributions to the Reduction Theory of the Decision Problem. Fourth Paper Reduction to the Case of a Finite Set of Individuals (1953) (2)
- Wang Hao. Note on rules of inference. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 193–196. (1975) (2)
- Review: Atwell R. Turquette, Godel and the Synthetic a Priori (1950) (2)
- Review: Nathaniel Lawrence, Heterology and Hierarchy (1950) (2)
- Schock Rolf. Some remarks on Russell's treatment of definite descriptions. Logique et analyse , n.s. vol. 5 (1962), pp. 77–80. (1963) (1)
- Review: Alexander Philipov, Ernest Nagel, Logic and Dialectic in the Soviet Union (1953) (1)
- Review: R. Harre, F. Waismann, How I see Philosophy (1973) (1)
- A generalization of Laplace's transformation (1966) (1)
- Review: Willard Van Orman Quine, Mathematical Logic (1940) (1)
- Review: G. Udny Yule, M. G. Kendall, An Introduction to the Theory of Statistics (1951) (1)
- Review: F. Waismann, A. G. N. Flew, Language Strata (1973) (1)
- Review: Solomon Hoberman, J. C. C. McKinsey, A Set of Postulates for Boolean Algebra (1937) (1)
- A of (1943) (1)
- Karl R. Popper. The logic of scientific discovery. Hutchinson & Co., Ltd., London1959, 480 pp. (1975) (1)
- Review: R. Bradshaw Angell, Note on a Less Restricted Type of Rule of Inference; R. B. Angell, The Sentential Calculus using Rule of Inference $R_e$ (1975) (1)
- Review: H. B. Curry, Remarks on the Definition and Nature of Mathematics (1957) (1)
- Review: Tameharu Shirai, On the Pseudo-Set (1954) (1)
- Review: Max Black, A Translation of Frege's Ueber Sinn und Bedeutung. Introductory Note (1948) (1)
- Review: Charles Hartshorne, Paul Weiss, Collected Papers of Charles Sanders Peirec (1969) (1)
- Quine Willard V.. Whitehead and the rise of modern logic. The philosophy of Alfred North Whitehead, edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1941, pp. 127–163. (1942) (1)
- Review: G. H. v. Wright, On the Idea of Logical Truth (I); G. H. von Wright, Form and Content in Logic (1950) (1)
- Review: Lawrence M. Graves, The Theory of Functions of Real Variables (1947) (1)
- V. Functional Calculi of Second Order (1991) (1)
- Hartree Douglas R.. Calculating instruments and machines. The University of Illinois Press, Urbana 1949, ix + 138 pp. (1953) (1)
- Review: Alf Ross, Imperatives and Logic (1944) (1)
- Myhill John. A system which can define its own truth. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 190–192. (1956) (1)
- Review: Harry Ruja, Good Logics and Bad (1940) (1)
- Prefatory statement to the index volume (1961) (1)
- Review: Soren Hallden, Certain Problems Connected with the Definitions of Identity and of Definite Descriptions Given in Principia Mathematica (1949) (1)
- Brentano Franz. Psychologie du point de vue empirique. Translation and preface by Gandillac Maurice de. Aubier, Editions Montaigne, Paris 1944, 461 pp. (1947) (1)
- Review: A. N. Prior, The Parva Logicalia in Modern Dress (1954) (1)
- Rashevsky N.. Mathematical biophysics. Revised edition. The University of Chicago Press, Chicago 1948, xxiii + 669 pp. (1949) (1)
- Review: W. V. Quine, On Existence Conditions for Elements and Classes (1943) (1)
- Review: Barkley Rosser, The Introduction of Quantification into a Three-Valued Logic (1939) (1)
- Dal Charles Gerneth. Generalization of Menger's result on the structure of logical formulas. Bulletin of the American Mathematical Society , vol. 54 (1948), pp. 803–804. (1948) (1)
- Review: Alfred J. Ayer, The Foundations of Empirical Knowledge (1941) (1)
- Fitch Frederic B.. The problem of the Morning Star and the Evening Star. Philosophy of science , vol. 16 (1949), pp. 137–141. (1950) (1)
- Review: W. V. Quine, Two Theorems about Truth-Functions (1954) (1)
- Newmak M. H. A.. Stratified systems of logic. Proceedings of the Cambridge Philosophical Society , vol. 39 (1943), pp. 69–83. (1944) (1)
- Hall Everett W.. Some dangers in the use of symbolic logic in psychology. Psychological review, vol. 49 (1942), pp. 142–169. (1942) (1)
- Wittgenstein Ludwig. Tractatus logico-philosophicus. With an introduction by Russell Bertrand. Spanish translation by Enrique Tierno Galvan. Revista de Occidente, Madrid 1957, 213 pp. (1958) (1)
- Review: Leon Henkin, Banishing the Rule of Substitution for Functional Variables (1955) (1)
- Review: John A. Carpenter, Omar K. Moore, Charles R. Snyder, Edith S. Lisansky, Alcohol and Higher-Order Problem Solving (1965) (1)
- Review: K. Chandrasekharan, Partially Ordered Sets and Symbolic Logic (1946) (1)
- Poincaré H.. Science and hypothesis. With an Introduction by Larmor J.. Dover Publications, New York 1952, xxvii + 244 pp.Poincaré Henri. Science and method. Dover Publications, New York 1952, 288 pp. (1953) (1)
- Quine Willard V.. A short course in logic. Chapters I-VII. Mimeographed. Harvard Cooperative Society, Cambridge, Mass., 1946, iv + 130 pp. (1947) (1)
- Review: Nelson Goodman, On Likeness of Meaning (1950) (1)
- Review: Edmund Landau, F. Steinhardt, Grundlagen der Analysis. (Das Rechnen mit Ganzen, Rationalen, Irrationalen, Komplexen Zahlen.) Erganzung zu den Lehrbuchern der Differential- und Integralrechnung (1946) (1)
- Runes Dagobert D.. Pictorial history of philosophy . Philosophical Library, New York 1959, x + 406 pp. (1959) (1)
- Review: Boleslaw Sobocinski, On a Universal Decision Element (1953) (1)
- Review: M. Lazerowitz, Self-Contradictory Propositions (1940) (1)
- Review: Hao Wang, Note on Rules of Inference (1975) (1)
- Review: Johann Mokre, Zu den Logischen Paradoxien (1963) (1)
- Review: Claude E. Shannon, Edward F. Moore, Machine Aid for Switching Circuit Design (1954) (1)
- Review: Andrew Ushenko, Dr. Quine's Theory of Truth-Functions (1942) (1)
- Introduction to Mathematical Logic (PMS-13), Volume 13 (1991) (1)
- Book Review: Foundations of Logic and Mathematics (1939) (1)
- Review: Rudolf Carnap, Logische Syntax der Sprache (1975) (1)
- Review: Leon Chwistek, Uberwindung des Begriffsrealismus (1937) (1)
- Review: Johann Jakob Burckhardt, Zur Neubegrundung der Mengenlehre (1938) (1)
- Nelson Everett J.. A note on contradiction: A protest. The philosophical review , vol. 45 (1936), pp. 505–508. (1936) (1)
- Review: P. T. Geach, On Insolubilia (1955) (1)
- Webb Donald L.. Definition of Post's generalized negative and maximum in terms of one binary operation. American journal of mathematics, vol. 58 (1936), pp. 193–194. (1936) (1)
- Review: M. H. A. Newman, Stratified Systems of Logic (1944) (1)
- Landau Edmund. Foundations of analysis. The arithmetic of whole, rational, irrational and complex numbers. A supplement to text-books on the differential and integral calculus . Translated by Steinhardt F.. Chelsea Publishing Company, New York 1951, xiv + 134 pp. (1951) (1)
- Schutz William C.. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York 1958, xi + 267 pp. (1959) (1)
- Review: Benson Mates, Stoic Logic and the Text of Sextus Empiricus (1950) (1)
- Review: J. Los, R. Suszko, Remarks on Sentential Logics (1975) (1)
- Mathematical logic : Princeton University, October 1935 - January 1936 (1936) (1)
- Review: Theodore A. Kalin, Formal Logic and Switching Circuits (1953) (1)
- Review: Edmund Callis Berkeley, Giant Brains. Or Machines That Think (1950) (1)
- Review: Louis De Raeymaeker, Introduction a la Philosophie; L. De Raeymaeker, Inleiding tot de Wijsbegeerte (1949) (0)
- Review: R. P. Dilworth, Lattices with Unique Complements (1945) (0)
- Review: Charles Parsons, Herbert R. Kohl, Self-Reference, Truth, and Provability (1960) (0)
- Review: A. D. Ritchie, A Defence of Aristotle's Logic (1946) (0)
- Review: Susanne K. Langer, An Introduction to Symbolic Logic (1956) (0)
- Review: David Rynin, A Critical Essay on Johnson's Philosophy of Language (1947) (0)
- Review: Ivo Thomas, Some Laws of the Calculus of Quantifiers (1950) (0)
- Brumbaugh Robert S.. An Aristotelian defense of “non-Aristotelian” logics. The journal of philosophy, vol. 48 (1951), pp. 582–585. (1952) (0)
- Review: Erik Gotlind, A Note on Chwistek and Hetper's Foundation of Formal Metamathematics (1954) (0)
- Review: , The Three Basic Directions in the Foundations of Mathematics (1947) (0)
- H. R. Smart. Frege's logic. The philosophical review , vol. 54 (1945), pp. 489–505. (1945) (0)
- Review: G. H. R. Parkinson, Gottfried Wilhelm Leibniz, Leibniz, Logical papers (1968) (0)
- Bar-Hillel Yehoshua. Mr. Weiss on the paradox of necessary truth. Philosophical studies, vol. 6 (1955), pp. 92–93. (1956) (0)
- Claude E. Shannon. A symbolic analysis of relay and switching circuits . Reprinted 1952 by Edmund C. Berkeley and Associates, New York, i + 11 pp. (1953) (0)
- Review: Inocenty M. Bochenski, The Condition and the Needs of the History of Formal Logic (1950) (0)
- Ruja Harry. Good logics and bad. The philosophical review, vol. 49 (1940), pp. 346–355. (1940) (0)
- Review: A. Heyting, The Development of Intuitionistic Mathematics (1937) (0)
- Review: G. F. C. Griss, Negationless Intuitionistic Mathematics; J. Ridder, Ueber den Aussagen-und den Engeren Pradikatenkalkul; L. E. J. Brouwer, Richtlijnen der Intuitionistische Wiskunde (1948) (0)
- Lewis Clarence Irving and Langford Cooper Harold. Symbolic logic . Dover Publications, Inc., New York 1951, 7 pp. + pp. 3–506. (1951) (0)
- Review: Ludwig Wittgenstein, Tractatus Logico-Philosophicus (1950) (0)
- Review: Bernard Lonergan, The Form of Inference (1943) (0)
- Thomas Ivo. Some laws of the calculus of quantifiers. Dominican studies (Oxford), vol. 2 (1949), p. 285. (1950) (0)
- Sanchis Luis Elpidio. Nueva demostración de la completicidad funcional del cálculo proposicional bivalente. Notre Dame journal of formal logic, vol. 2 (1961), pp. 33–40. (1962) (0)
- Review: Aleksandr Sergeyevich Yesenin-Volpin, Svobodny filosofskij traktat: A Free Philosophical Treatise (1965) (0)
- Review: Crispin Kim-Bradley, Symbolic Logic and Metamathematics (1952) (0)
- Review: W. L. Van Der Poel, Some Selected Topics on Switching Algebra (1959) (0)
- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION (1985) (0)
- Review: Evert Beth, The Paradoxes (1939) (0)
- Moisil Gr. C.. Les logiques à plusieurs valeurs et l'automatique. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959 Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 337–345. (1971) (0)
- Mac Lane Saunders. Symbolic logic. The American mathematical monthly, vol. 46 (1939), pp. 289–296. (1939) (0)
- Review: Duane Studley, Algebra of Neural Nets (1949) (0)
- Review: Boleslaw Sobocinski, An Investigation of Protothetic (1950) (0)
- Wernick William. An enumeration of logical functions. Bulletin of the American Mathematical Society , vol. 45 (1939), pp. 885–887. (1940) (0)
- Review: C. W. Churchman, T. A. Cowan, A Challenge (1945) (0)
- Review: T. A. K. Kloyda, Bolzano, Bernhard (1975) (0)
- Index of Definitions (1991) (0)
- Review: William C. Schutz, FIRO, A Three-Dimensional Theory of Interpersonal Behavior (1959) (0)
- Review: B. A. Trakhtenbrot, Algorithms and Automatic Computing Machines (1963) (0)
- Review: Robert Feys, Logistique (1956) (0)
- Tarski Alfred. Introduction to logic and to the methodology of deductive sciences. Translated by Helmer Olaf. Second edition, revised. Oxford University Press, New York 1946, xviii + 239 pp. (1947) (0)
- Claude E. Shannon and Edward F. Moore. Machine aid for switching circuit design. Proceedings of the I.R.E. , vol. 41 (1953), pp. 1348–1351. (1954) (0)
- Cantor Georg. Contributions to the founding of the theory of transfinite numbers. Translated, and provided with an introduction and notes, by Philip E. B. Jourdain. Dover Publications, New York 1952, ix + 211 pp. (1952) (0)
- Review: L. S. Johnston, Another Form of the Russell Paradox (1940) (0)
- Review: Abraham A. Fraenkel, Abstract set theory (1963) (0)
- Review: Sze-Tsen Hu, Threshold Logic (1975) (0)
- Review: M. J. Charlesworth, Analytical Philosophy (1975) (0)
- Review: Alfred Tarski, The Completeness of Elementary Algebra and Geometry (1969) (0)
- Review: Akira Nakasima, Masao Hanzawa, Nippon Electrical Communication Engineering (1953) (0)
- Vaidyanathaswami R.. Inaugural address. The mathematics student, vol. 6 (1938), pp. 33–42. (1939) (0)
- Review: Raymond D. Bradley, Geometry and Necessary Truth (1969) (0)
- Kiely E. R.. Mathematics, history of. New Catholic encyclopedia , prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 9, pp. 447–456. (1975) (0)
- To the editor or "mind" (1942) (0)
- Review: Arthur W. Burks, Jesse B. Wright, Theory of Logical Nets (1954) (0)
- Review: S. C. Kleene, Errata. Arithmetical Predicates and Function Quantifiers (1957) (0)
- Kattsoff Louis Osgood. Modality and probability. The philosophical review, vol. 46 (1937), pp. 78–85. (1937) (0)
- Review: Robert Edouard Moritz, On Mathematics and Mathematicians (1959) (0)
- Kamke E.. Theory of sets. Translated from the second German edition by Bagemihl Frederick. Dover Publications, New York 1950, vii + 144 pp. (1950) (0)
- Review: C. G. Hempel, Geometry and Empirical Science; Morris R. Cohen, Ernest Nagel, An Introduction to Logic and Scientific Method (1946) (0)
- List of officers and members of the Association for Symbolic Logic (1941) (0)
- Hailperin Theodore. An incorrect theorem. The journal of symbolic logic , vol. 30 (1965), p. 27. (1966) (0)
- Birkhoff Garrett. An extended arithmetic. Duke mathematical journal, vol. 3 (1937), pp. 311–316.Birkhoff Garrett. Generalized arithmetic. Duke mathematical journal, vol. 9 (1942), pp. 283–302. (1942) (0)
- Birkhoff Garrett. Lattice theory . Revised edition. American Mathematical Society Colloquium publications, vol. 25. American Mathematical Society, New York 1948, xiii + 283 pp. (1950) (0)
- Geach Peter Thomas. On rigour in semantics. Mind, n. s. vol. 58 (1949), pp. 518–522.Martin R. M.. Mr. Geach on mention and use. Mind, n. s. vol. 58 (1949), pp. 523–524. See Corrigenda, ibid., vol. 59 (1950), p. 144. (1950) (0)
- Review: R. M. Martin, On Types, Denotation, and Truth (1954) (0)
- Henry S. Leonard. The logic of existence. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 49–64. (1963) (0)
- Storer Thomas. MINIAC: World's smallest electronic brain. Analysis (Oxford), vol. 22 (1962), pp. 151–152. (1969) (0)
- Charles Sanders Peirce. Scientific method. Collected papers of Charles Sanders Peirce , Volume VII, Science and philosophy , edited and with an introduction by Arthur W. Burks, Harvard University Press, Cambridge, Mass., 1958, Book II, Chapter 1, pp. 37–75. (1967) (0)
- Review: John Venn, Symbolic Logic (1972) (0)
- Review: S. Pankajam, On Euler's $\phi$-Function and its Extensions (1936) (0)
- JSL volume 19 issue 3 Cover and Back matter (1954) (0)
- Kalmár László. Contributions to the reduction theory of the decision problem. Third paper. Prefix (x1)(Ex2) … (Exn−2)(xn−1)(xn), a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae , vol. 2(1951), pp. 19–38. (1953) (0)
- Review: Gerard Esser, Logica, in Usum Scholarum (1943) (0)
- Review: Rudolf Carnap, Notes for Symbolic Logic (1939) (0)
- Mathematical Logic Lectures (1936) (0)
- Review: Austin Duncan-Jones, Fugitive Propositions (1950) (0)
- Review: Alan Rose, A Formalization of Sobocinski's Three-Valued Implicational Propositional Calculus (1954) (0)
- Review: H. A. Nielsen, Antinomy (1975) (0)
- List of officers and members of the association for symbolic logic (1957) (0)
- Kalmár Laszló. Contributions to the reduction theory of the decision problem. Fourth paper. Reduction to the case of a finite set of individuals. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 125–142. (1953) (0)
- Alan Rose. Self-dual primitives for modal logic. Mathematische Annalen , vol. 125 (1952–1953), pp. 284–286. (1953) (0)
- Menger Karl. Algebra of analysis . Notre Dame mathematical lectures, no. 3. Lithoprinted. University of Notre Dame, Notre Dame, Ind., 1944, 50 pp. (1945) (0)
- Some Laws of the Calculus of Quantifiers (1950) (0)
- Boll Marcel. Les étapes des mathématiques. Que sais-je? no. 42. Presses Universitaires de France, Paris 1941. Fifth edition, The Commercial Press, Shanghai 1948, 128 pp. (1949) (0)
- Review: P. T. Geach, Designation and Truth (1948) (0)
- Review: E. T. Bell, Men of Mathematics (1937) (0)
- Review: Andrew H. Bachhuber, Introduction to Logic (1959) (0)
- Basson A. H. and O'Connor D. J.. Introduction to symbolic logic . Second edition. University Tutorial Press Ltd., London 1957, viii + 175 pp. (1958) (0)
- Yesenin-Volpin Aleksandr Sergeyevich. Svobodny filosofskij traktat (A free philosophical treatise). Russian with English translation in parallel. Vésénnij list (A leaf of spring), Frederick A. Praeger, New York 1961, pp. 109–173. (1965) (0)
- Birkhoff Garrett and Neumann John von. The logic of quantum mechanics. Annals of mathematics , 2 s. vol. 37 (1936), pp. 823–843. (1937) (0)
- Fairthorne Robert Arthur. The mathematics of classification. Discussion by Evans Agard A. B., O'Beirne T. H., Ditmas E. M. R., and the author. The proceedings of the British Society for International Bibliography , vol. 9 part 4 (1948), pp. 35–42. (1948) (0)
- Norwood Russell Hanson. A note on the Gödel theorem. Notre Dame journal of formal logic , vol. 2 (1961), p. 228. (1963) (0)
- Whiteman Albert. Postulates for Boolean algebra in terms of ternary rejection. Bulletin of the American Mathematical Society, vol. 43 (1937), pp. 293–298. (1937) (0)
- Review: G. L. Farre, Peano, Giuseppe (1975) (0)
- Review: Saunders Mac Lane, Symbolic Logic (1939) (0)
- Review: Jorgen Jorgensen, Outline of the Recent Development of the Theory of Deduction (1938) (0)
- Atwell R. Turquette. Gödel and the synthetic a priori. The journal of philosophy , vol. 47 (1950), pp. 125–129. (1950) (0)
- Review: J. J. C. Smart, Whitehead and Russell's Theory of Types (1950) (0)
- Review: Max Black, Frege on Functions (1956) (0)
- Review: Joseph Breuer, Howard Franklin Fehr, Introduction to the Theory of Sets (1958) (0)
- Review: Paul Dubreil, Algebre. Tome I. Equivalences, Operations, Groupes, Anneaux, Corps (1947) (0)
- Smiley Timothy. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic , vol. 2 (1961), pp. 149–153. (1962) (0)
- Review: J. Billing, A Failure of the Bolzano-Weierstrass Lemma (1947) (0)
- Barkley Rosser. The introduction of quantification into a three-valued logic . Ditto, 6 pp. (1939) (0)
- Review: L. Goddard, `True' and `Provable' (1960) (0)
- Barker C. C. H.. Some calculations in logic. The mathematical gazette, vol. 41 (1957), pp. 108–111. (1957) (0)
- Review: G. L. Farre, Boole, George (1975) (0)
- Mates Benson. Stoic logic . University of California Press, Berkeley and Los Angeles 1961, vii + 148 pp. (1963) (0)
- Review: Omar K. Moore, Donald J. Lewis, Learning Theory and Culture (1959) (0)
- Review: Harry A. Nielsen, Language as Existent (1962) (0)
- Ayer Alfred J.. The foundations of empirical knowledge. Macmillan & Co., London 1940; The Macmillan Company, New York 1940; x + 276 pp. (1941) (0)
- Review: J. W. Lasley, The Revolt Against Aristotle (1942) (0)
- Review: A. I. Melden, Thought and Its Objects (1940) (0)
- Review: R. Vaidyanathaswami, Inaugural Address (1939) (0)
- Review: Paul Weiss, The Paradox of Necessary Truth (1956) (0)
- Review: Thomas Storer, MINIAC: World's Smallest Electronic Brain (1969) (0)
- Review: W. V. Quine, Logic, Symbolic (1958) (0)
- (Logistiek en wetenschapsleer) Logistic and Methodology of Science.@@@(Logica en wijsbegeerte van de wiskunde) Logic and Philosophy of Mathematics. (1952) (0)
- Katz Jerrold J.. The problem of induction and its solution. The University of Chicago Press, Chicago 1962, xiii + 125 pp. (1971) (0)
- Gilbert E. N.. N-terminal switching circuits. The Bell System technical journal, vol. 30 (1951), pp. 668–688. (1965) (0)
- List of officers and members of the Association for Symbolic Logic (1963) (0)
- Review: Dagobert D. Runes, Classics in Logic (1964) (0)
- Post. Emil L. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, vol. 52 (1946), pp. 264–268. (1947) (0)
- Review: Trenchard More, On the Construction of Venn Diagrams (1962) (0)
- Review: Katsumi Nakamura, The Theory of Logic--A Contribution to Scientific Logic; Katsumi Nakamura, Zum Logistischen Gestaltbegriffe (1950) (0)
- Review: B. A. Bernstein, Postulate-sets for Boolean Rings (1944) (0)
- Review: John E. Freund, Statistical vs. Pragmatic Inference; Thomas A. Cowan, A Note on Churchman's "Statistics, Pragmatics, Induction."; C. West Churchman, Reply to Comments on "Statistics, Pragmatics, Induction." (1950) (0)
- Review: Joseph Ullian, Bernard Baumrin, Mathematical Objects; Joseph S. Ullian, Is any Set Theory True? (1975) (0)
- Review: R. Vaidyanathaswamy, On Disjunction in Intuitionist Logic (1944) (0)
- Review: K. Baier, Contradiction and Absurdity (1955) (0)
- Rosser Barkley. On the many-valued logics. American journal of physics, vol. 9 (1941), pp. 207–212. (1941) (0)
- Charlesworth M. J.. Analytical philosophy. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 470–473. (1975) (0)
- Review: Garrett Birkhoff, An Extended Arithmetic; Garrett Birkhoff, Generalized Arithmetic (1942) (0)
- Plochmann George Kimball and Lawson Jack B.. Terms in their propositional contexts in Wittgenstein's Tractatus. An index. Southern Illinois University Press, Carbondale, Illinois, 1962, xiv + 229 pp. (1971) (0)
- Review: I. Thomas, Logic, History of (1975) (0)
- Review: Norwood Russell Hanson, The Godel Theorem. An Informal Exposition (1962) (0)
- Review: Giuseppe Peano, Formulario Mathematico (1962) (0)
- Review: John D. Goodell, Notes on Decision Element Systems using Various Practical Techniques (1954) (0)
- McGuinness B. F.. Russell, Bertrand, philosophy of. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 12, pp. 729–730. (1975) (0)
- Review: A. H. Basson, D. J. O'Connor, Introduction to Symbolic Logic (1955) (0)
- Review: H. B. Smith, Modal Logic--A Revision (1937) (0)
- Review: A. H. Basson, Logic and Fact (1948) (0)
- Review: David Perlman, A Milestone in Math--Professor's New Concept (1963) (0)
- Tarski Alfred. The completeness of elementary algebra and geometry . Centre National de la Recherche Scientifique, Institut Blaise Pascal, Paris 1967, iv + 50 pp. (1969) (0)
- Review: Shoji Maehara, Logic in Japan (1975) (0)
- Review: Judith Schoenberg, Belief and Intention in the Epimenides (1971) (0)
- Review: Hans G. Herzberger, Janet A. Emig, James T. Fleming, Helen M. Popp, The Logical Consistency of Language (1968) (0)
- Review: Clifford G. Kossel, The Problem of Relation in Some Non-Scholastic Philosophies (1946) (0)
- Bergmann Gustav. Notes on identity. Philosophy of science , vol. 10 (1943), pp. 163–166. (1943) (0)
- Review: E. W. Beth, Logic and Foundations-Research 1940-1945 (1946) (0)
- Review: Ivo Thomas, Logic and Theology (1950) (0)
- Nakamura Katsumi. Ronrigaku risetsu—Kagahuronrigahu ni totte—(The theory of logic—A contribution to scientific logic—). Baihukan, Tokyo 1942, 3 + 280 pp.Nakamura Katsumi. Zum logistischen Gestaltbegriffe. Appendix to the foregoing, pp. 257–280. (1950) (0)
- Review: C. I. Lewis, The Modes of Meaning (1944) (0)
- Review: Robert Serrell, Elements of Boolean Algebra for the Study of Information-Handling Systems (1954) (0)
- Dana Scott. Existence and description in formal logic. Bertrand Russell, Philosopher of the century, Essays in his honour , edited by Ralph Schoenman, Little, Brown and Company, Boston and Toronto, and George Allen a Unwin Ltd, London, 1967, pp. 181–200. (1973) (0)
- Hoberman Solomon and McKinsey J. C. C.. A set of postulates for Boolean algebra. Bulletin of the American Mathematical Society, vol. 43 (1937), pp. 588–592. (1937) (0)
- Review: Dan Pedoe, Griselda El Tayeb, The Gentle Art of Mathematics (1966) (0)
- Review: Garrett Birkhoff, Saunders MacLane, Algebra of Classes (1941) (0)
- Quine W. V.. A logistical approach to the ontological problem. Preprinted for the members of the Fifth International Congress for the Unity of Science, Cambridge, Mass., 1939, as from The journal of unified science (Erkenntnis), vol. 9; 6 pp. (1939) (0)
- Birkhoff Garrett and MacLane Saunders. Algebra of classes. A survey of modern algebra , revised edition, by Birkhoff Garrett and MacLane Saunders, The Macmillan Company, New York 1953, pp. 335–355. (1954) (0)
- Czeżowski Tadeusz. On certain peculiarities of singular propositions. Mind, n.s. vol. 64 (1955), pp. 392–395. (1956) (0)
- The Algebra of Propositions. (1937) (0)
- Review: L. Susan Stebbing, Encyclopaedia Britannica (1951) (0)
- Review: Edmundo Curvelo, Introducao a Logica (1948) (0)
- Review: S. Korner, Entailment and the Meaning of Words (1950) (0)
- Veatch Henry. Basic confusions in current notions of propositional calculi. The Thomist, vol. 14 (1951), pp. 238–258. (1952) (0)
- Review: F. S. C. Northrop, The Neurological and Behavioristic Psychological Basis of the Ordering of Society by Means of Ideas (1948) (0)
- M. H. Stone. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society , vol. 40 (1936), pp. 37–111. (1936) (0)
- Review: W. V. Quine, Jean van Heijenoort, Introductory Note; Alfred North Whitehead, Bertrand Russell, Incomplete Symbols: Descriptions (1975) (0)
- Review: M. O. Gonzalez, J. D. Mancill, On the System of Natural Numbers (1950) (0)
- Review: Gottlob Frege, L. Geymonat, Aritmetica e Logica (1948) (0)
- Review: Einar Hille, Such Stuff as Dreams are Made on -- in Mathematics (1953) (0)
- Black Max. Frege on functions. Problems of analysis, Philosophical essays , by Black Max, Cornell University Press, Ithaca 1954, pp. 229–254, 297–298. (1956) (0)
- Review: Irving M. Copi, The Inconsistency or Redundancy of Principia Mathematica (1951) (0)
- Review: R. A. Rosenbaum, Remark on Equivalence Relations (1956) (0)
- Handy Rollo and Kurtz Paul. A current appraisal of the behavioral sciences. Behavioral Research Council, Great Barrington, Mass., 1964, ii + 154 pp. (1964) (0)
- Review: William Keister, Alistair E. Ritchie, Seth H. Washburn, John Meszar, The Design of Switching Circuits (1953) (0)
- Review: Clarence Irving Lewis, Cooper Harold Langford, Symbolic Logic (1951) (0)
- Review: P. R. Halmos, The Foundations of Probability (1944) (0)
- Graves Lawrence M.. The theory of functions of real variables. McGraw-Hill Book Company, Inc., New York and London 1946, x + 300 pp. (1947) (0)
- Nagel Ernest. Sovereign reason. Freedom and experience, Essays presented to Horace M. Kallen, edited by Hook Sidney and Konvitz Milton R., a publication of The New School for Social Research, Cornell University Press, Ithaca and New York 1947, pp. 260–288. (1948) (0)
- Review: Victor Kraft, The Vienna Circle. The Origin of Neo-Positivism. A Chapter in the History of Recent Philosophy (1955) (0)
- Review: David Shwayder, Some Remarks on "Synonymity" and the Language of the Semanticists (1954) (0)
- Gonzalez M. O. and Mancill J. D.. On the system of natural numbers. The American mathematical monthly , vol. 57 (1950), pp. 104–112. (1950) (0)
- Review: Richard Robinson, What is Independence? (1940) (0)
- Lazerowitz M.. Self-contradictory propositions. Philosophy of science, vol. 7 (1940), pp. 229–240. (1940) (0)
- Basson A. H. and O'Connor D. J.. Introduction to symbolic logic . University Tutorial Press Ltd., London 1953, viii + 169 pp. (1955) (0)
- Review: Edward V. Huntington, Postulates for Assertion, Conjunction, Negation, and Equality (1938) (0)
- Review: Dagobert D. Runes, Pictorial History of Philosophy (1959) (0)
- Review: Ernest Nagel, Sovereign Reason (1948) (0)
- Review: Stuart Carter Dodd, Dimensions of Society. A Quantitative Systematics for the Social Sciences (1942) (0)
- Review: A. Archer, A Venn Diagram Analogue Computer (1951) (0)
- Skolem Thoralf. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger , vol. 24 (1951), pp. 20–25. (1953) (0)
- Review: Norman M. Martin, Note on the Completeness of Decision Element Sets (1967) (0)
- Review: Allen Walker Read, An Account of the Word `Semantics.' (1949) (0)
- Review: Erik Gotlind, A Note on an Article by R. K. P. Singh and R. Shukla (1952) (0)
- Tarski Alfred. Introducción a la lógica y a la metodología de las ciencias deductivas. Translated by Bachiller T. R. and Fuentes J. R.. Espase-Calpe Argentina, Buenos Aires and Mexico City 1951, 237 pp. (1951) (0)
- Review: Nelson Goodman, On a Pseudo-Test of Translation (1955) (0)
- Lieber Lillian R.. Mits, Wits and logic. Drawings by Lieber Hugh Gray. W. W. Norton & Company, Inc., New York 1947, 240 pp. (1948) (0)
- Review: J. C. C. McKinsey, Reducible Boolean Functions (1936) (0)
- Review: Jan Lukasiewicz, Logistic and Philosophy (1936) (0)
- Review: I. M. Bochenski, On the Categorical Syllogism (1950) (0)
- Thomas Ivo. The rule of excision in positive implication. Notre Dame journal of formal logic , vol. 3 (1962), p. 64. (1975) (0)
- Review: Charles Sanders Peirce, Scientific Method (1967) (0)
- Review: Karl Menger, On Variables in Mathematics and in Natural Science; Karl Menger, Variables, de Diverses Natures; Karl Menger, What are Variables and Constants (1957) (0)
- Review: Th. Skolem, Explanation to the Foregoing Paper of L. Kalmar (1938) (0)
- Paul Weiss. The paradox of necessary truth, once more. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 88–89. (1958) (0)
- Review: George Kimball Plochmann, Jack B. Lawson, Terms in Their Propositional Contexts in Wittgenstein's Tractatus (1971) (0)
- Newman M. H. A.. The calculus of sets. Elements of the topology of plane sets of points, by Newman M. H. A., Cambridge University Press 1939, pp. 3–12 (1939) (0)
- Review: A. Heyting, Intuitionism in Mathematics (1975) (0)
- Review: N. Rashevsky, Mathematical Biophysics (1949) (0)
- Berkeley Edmund Callis. Giant brains. Or machines that think. John Wiley Sons, New York; Chapman & Hall, London; 1949, xvi + 270 pp. (1950) (0)
- Semantics, general semantics, semiotic. New acceptations of old terms. Synthese (Bussum), vol. 7 (1948–1949), pp. 229–232. (1950) (0)
- Review: Janos Suranyi, Contributions to the Reduction Theory of the Decision Problem. Fifth Paper. Ackermann Prefix with Three Universal Quantifiers (1953) (0)
- Shwayder David. Some remarks on “synonymity” and the language of the semanticists. Philosophical studies , vol. 5 (1954), pp. 1–5. Shwayder D. S.. Corrigendum. Philosophical studies , vol. 5 (1954), p. 48. (1954) (0)
- Chapter II. LAMBDA-CONVERSION (1985) (0)
- Review: K. Chandrasekharan, The Logic of Intuitionistic Mathematics (1942) (0)
- Review: G. E. M. Anscombe, Before and After (1971) (0)
- Review: Robert Arthur Fairthorne, A. B. Agard Evans, T. H. O'Beirne, E. M. R. Ditmas, The Mathematics of Classification (1948) (0)
- Related Citations (1955) (0)
- Review: A. G. N. Flew, Gilbert Ryle, Essays on Logic and Language (1952) (0)
- B. Bykhovsky. The morass of modern bourgeois philosophy. Translated by Anatol Rapoport, with a brief editorial foreword by S.I. Hayakawa. ETC.: A review of general semantics , vol. 6 (1948–1949), pp. 1–15. (1950) (0)
- Bochenski I. M.. On the categorical syllogism. Dominican studies (Oxford), vol. 1 (1948), pp. 35–57. (1950) (0)
- Allendoerfer Carl B. and Oakley Cletus O.. Principles of mathematics. Photo-offset from typewritten manuscript. McGraw-Hill Book Company, New York 1953, ii + viii + 544 pp. (1954) (0)
- Review: Eric Toms, The Law of Excluded Middle (1941) (0)
- Review: Alan Rose, A Formalization of the $C-0$ Propositional Calculus (1952) (0)
- Weyl. Hermann David Hilbert and his mathematical work. Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 612–654. (1944) (0)
- Review: Hans G. Herzberger, The Truth-Conditional Consistency of Natural Languages (1968) (0)
- Review: J. J. C. Smart, A. G. N. Flew, Theory Construction (1973) (0)
- Tarski Alfred. Introduction to logic and to the methodology of deductive sciences. Enlarged and revised edition, translated by Helmer Olaf. Oxford University Press, New York 1941, xviii + 239 pp. (1941) (0)
- Review: Carl B. Allendoerfer, Cletus O. Oakley, Principles of Mathematics (1954) (0)
- Review: J. A. Ladriere, Axiomatic System (1975) (0)
- List of officers and members of the Association for Symbolic Logic (1965) (0)
- Mays W. and Henry D. P.. Exhibition of the work of W. Stanley Jevons. Nature , vol. 170 (1952), pp. 696–697. (1953) (0)
- Hu Sze-Tsen. Threshold logic. University of California Press, Berkeley and Los Angeles 1965, xiv + 338 pp. (1975) (0)
- Review: Omar Khayyam Moore, Nominal Definitions of `Culture.'; T. Foster Lindley, Moore's Nominal Definitions of `Culture.'; Omar Khayyam Moore, Dr. Lindley and "Nominal Definitions of `Culture' (1959) (0)
- Farre G. L.. Frege, Gottlob. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 6, p. 141. (1975) (0)
- Review: Daniela Gromska, Studia Philosophica (1953) (0)
- Wade Francis C.. Translator's introduction. John of St. Thomas, Outlines of formal logic, translated by Wade Francis C., Marquette University Press, Milwaukee 1955, pp. 1–24. (1959) (0)
- Trakhtenbrot B. A.. Algorithms and automatic computing machines . Translated and adapted from the second Russian edition (1960) by Kristian Jerome, McCawley James D., and Schmitt Samuel A.. D. C. Heath and Company, Boston 1963, vi + 101 pp. (1963) (0)
- Russell Bertrand. Introduction to mathematical philosophy. Sixth impression. George Allen & Unwin, London 1948, xv + 208 pp. (1950) (0)
- Bell E. T.. The development of mathematics. Second edition. McGraw-Hill Book Co., New York and London 1945, xiii + 637 pp. (1947) (0)
- Review: Louis Osgood Kattsoff, Modality and Probability (1937) (0)
- Yu. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Actes du Congrès International des Mathématiciens 1970 , Gauthier-Villars, Paris1971, Vol. 1, pp. 235–238. (1972) (0)
- Moore Omar Khayyam. Nominal definitions of ‘culture.’. Philosophy of science, vol. 19 (1952), pp. 245–256.Foster Lindley T.. Moore's nominal definitions of ‘culture.’ Philosophy of science, vol. 20 (1953), pp. 335–338.Moore Omar Khayyam. Dr. Lindley and “Nominal definitions of ‘culture’.” Philosophy (1959) (0)
- Review: H. B. Smith, The Law of Transitivity (1936) (0)
- Review: Dal Charles Gerneth, Generalization of Menger's Result on the Structure of Logical Formulas (1948) (0)
- Review: Henry Veatch, Basic Confusions in Current Notions of Propositional Calculi (1952) (0)
- Mays W. and Prinz D. G.. A relay machine for the demonstration of symbolic logic. Nature, vol. 165 (1950), pp. 197–198. (1950) (0)
- Geymonat Ludovico. Prefazione. Logica e aritmetica , by Gottlob Frege, writings collected and edited by Mangione Corrado (translation by Ludovico Geymonat and Corrado Mangione), Paolo Boringhieri, Turin 1965, pp. 9–10. (1973) (0)
- I. The Propositional Calculus (1991) (0)
- Germansky Baruch. (A new set of axioms sufficient for the development of the theory of natural numbers). , (Riveon lematematika) , vol. 3 (1949), pp. 65–67. (1950) (0)
- II. The Propositional Calculus (Continued) (1991) (0)
- Review: Henry M. Sheffer, Quantifiers (1948) (0)
- . (The three basic directions in the foundations of mathematics). (Bulletin de la Société Mathématique de Gréce) , vol. 21 (1941), pp. 67–103. (1947) (0)
- Reichenbach Hans. The rise of scientific philosophy . University of California Press, Berkeley and Los Angeles 1956, xi + 333 pp. (1956) (0)
- R. A. Rosenbaum. Remark on equivalence relations. The American mathematical monthly , vol. 62 (1955), p. 650. (1956) (0)
- Hempel C. G.. Geometry and empirical science. The American mathematical monthly, vol. 52 (1945), pp. 7–17. (1946) (0)
- Review: Franz Brentano, Psychologie du Point de vue Empirique (1947) (0)
- Baruch Germansky. (An alternative proof of a theorem of equivalence concerning axioms of natural numbers). (Riveon lematematika) , vol. 4 (1950), pp. 18–21. (1950) (0)
- List of officers and members of the Association for Symbolic Logic (1944) (0)
- A. D. Ritchie. A defence of Aristotle's logic. Mind , n.s. vol. 55 (1946), pp. 256–262. (1946) (0)
- Review: Philotheus Boehner, Ockham Philosophical Writings (1958) (0)
- Paul Weiss. The paradox of necessary truth. Philosophical studies , vol. 6 (1955), pp. 31–32. (1956) (0)
- Keyser Cassius Jackson. Charles Sanders Peirce as a pioneer. Galois lectures (The Scripta Mathematica library, no. 5), Scripta Mathematica, Yeshiva College, New York 1941, pp. 87–112. (1941) (0)
- Lackey Douglas P.. Preface. Essays in analysis by Bertrand Russell, edited by Lackey Douglas, Allen & Unwin, Ltd., London, and George Braziller, Inc., New York, 1973, pp. 9–10. (1976) (0)
- Nielsen H. A.. Linguistic analysis. New Catholic encyclopedia , prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 773–775. (1975) (0)
- Review: Tadeusz Czezowski, On Certain Peculiarities of Singular Propositions (1956) (0)
- Chandrasekharan K.. Partially ordered sets and symbolic logic. The mathematics student, vol. 12 (1944), pp. 14–24. (1946) (0)
- Review: Louis de Raeymaeker, Harry McNeill, Introduction to Philosophy (1948) (0)
- Halldén Sören. A note concerning the -paradoxes of strict implication and Lewis's system S1. The journal of symbolic logic, vol. 13 (1948), pp. 138–139. (1949) (0)
- Review: Hans Freudenthal, E. J. Brill, Analyse mathematique de certaines structures linguistiques; P. Bernays, H. Freudenthal, F. Gonseth, M. Frechet, J. Ladriere, B. Segre, Discussion (1971) (0)
- Review: A. Natucci, $2 + 2$ Fanno 4 (1952) (0)
- Kleene S. C.. Recursive predicates and quantifiers. Transactions of the American Mathematical Society, vol. 53 (1943), pp. 41–73. (1943) (0)
- Hans G. Herzberger. The truth-conditional consistency of natural languages. The journal of philosophy , vol. 64 (1967), pp. 29–35. (1968) (0)
- Heyting A.. De onlwikkeling van de intuitionistische wiskunde (The development of intuitionistic mathematics). Euclides, vol. 13 (1936–1937), pp. 129–144. (1937) (0)
- Claude E. Shannon, Computers and automata. Proceedings of the I.R.E. , vol. 41 (1953), pp. 1234–1241. (1954) (0)
- Review: Peter A. Carmichael, The Null Class Nullified (1943) (0)
- Review: B. F. McGuinness, Russell, Bertrand, Philosophy of (1975) (0)
- Review: A. Wolf, Textbook of Logic (1949) (0)
- Review: Anatol Rapoport, What is Semantics? (1952) (0)
- Götlind Erik. A note on Chwistek and Helper's foundation of formal metamathematics. Den 11te Skandinaviske Matematikerkongress i Trondheim 22-25 August 1949, Johan Grundt Tanums Forlag, Oslo 1952, pp. 268–270. (1954) (0)
- Review: Wilfrid Sellars, Acquaintance and Description Again (1950) (0)
- Review: M. Gorman, Semantics (1975) (0)
- Review: Friedrich Waismann, Karl Menger, Theodore J. Benac, Introduction to Mathematical Thinking. The Formation of Concepts in Modern Mathematics (1952) (0)
- Review: A. A. Markov, On the Representation of Recursive Functions (1952) (0)
- Nagel Ernest. Logic without ontology. Naturalism and the human spirit, edited by Krikorian Yervant H., Columbia University Press, New York 1944, pp. 210–241. (1945) (0)
- J. A. Ladrière. Axiomatic system. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 1140–1141. (1975) (0)
- Review: Charles Morris, Signification and Significance. A Study of the Relation of Signs and Values (1968) (0)
- Farre G. L.. Peano, Giuseppe. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 11, p. 46. (1975) (0)
- Review: David Crystal, Linguistics; Frank Palmer, Grammar (1972) (0)
- Yule G. Udny and Kendall M. G.. An introduction to the theory of statistics. Fourteenth edition, revised and enlarged. Charles Griffin & Company, London 1950, xxiv + 701 pp. (1951) (0)
- Baruch Germansky. (Supplement to my paper “Axioms of the natural numbers”). (Riveon lematematika) , vol. 3 (1949), p. 8. (1950) (0)
- Review: Douglas Lackey, Bertrand Russell, Essays in Analysis by Bertrand Russell (1976) (0)
- Farre G. L.. Boole, George. New Catholic encyclopedia , prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 4, p. 701. (1975) (0)
- Review: Benson Mates, Stoic Logic (1963) (0)
- Review: A. J. Ayer, Logical Positivism (1970) (0)
- Gorman M.. Semantics. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 13, pp. 66–68. (1975) (0)
- Martin R. M.. On types, denotation, and truth. Methodos, vol. 3 (1951), pp. 308–316. (1954) (0)
- Review: Herbert L. Searles, Logic and Scientific Methods. An Introductory Course (1958) (0)
- Review: Ivo Thomas, Saint Vincent Ferrer's De Suppositionibus (1954) (0)
- I. Thomas. Logic, history of. New Catholic encyclopedia , prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 958–962. (1975) (0)
- Hartman Sylvester. Are there any extra-syllogistic forms of reasoning? Proceedings of The American Catholic Philosophical Association, vol. 15 (pub. 1940), pp. 235–241. (1940) (0)
- Carnap Rudolf. Logische Syntax der Sprache. Second edition of 35212. Springer-Verlag, Vienna and New York 1968, XI + 274 pp. (1975) (0)
- Hutten Ernest H.. A note on semantics. Philosophy , vol. 24 (1949), pp. 381–383. (1950) (0)
- Wallace W. A.. Logic, symbolic. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 962–964. (1975) (0)
- Review: Baruch Germansky, Supplement to my Paper "Axioms of the Natural Numbers" (1950) (0)
- Archer A.. A Venn diagram analogue computer. Nature , vol. 166 (1950), p. 829. (1951) (0)
- Lasley J. W. Jr. The revolt against Aristotle. American scientist , vol. 30 (1942), pp. 275–287. (1942) (0)
- H. A. Nielsen. Antinomy. New Catholic encyclopedia , prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 621-623. (1975) (0)
- Kocourek R. A.. An evaluation of symbolic logic. Proceedings of The American Catholic Philosophical Association , vol. 22 (pub. 1948), pp. 95–104. (1949) (0)
- Quine W. V.. Logic, symbolic. Preprinted from Encyclopedia Americana , 1957 edition, preprint pp. 569–574. (1956) (0)
- Review: G. L. Farre, Frege, Gottlob (1975) (0)
- Fraenkel Abraham A.. Abstract set theory. Second, completely revised edition. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1961, VIII + 295 pp. (1963) (0)
- Review: John E. Freund, Chapter 23: Logic (1957) (0)
- Review: Edmund C. Berkeley, A Summary of Symbolic Logic and its Practical Applications; Edmund C. Berkeley, A Summary of Symbolic Logic and its Practical Applications. Second Printing (1953) (0)
- Ayer Alfred Jules. Language, truth and logic. Second edition (revised and re-set). Victor Gollancz, London 1946 (third impression 1948) ; 160 pp. (1949) (0)
- Review: Sze-Tsen Hu, Elementary Functions and Coordinate Geometry (1969) (0)
- Baruch Germansky. (Problem). Riveon lematematika , vol. 6 (1952–1953), p. 79. (1953) (0)
- János Surányi. Contributions to the reduction theory of the decision problem. Second paper. Three universal, one existential quantifiers. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae , vol. 1 (1950), pp. 261–271. (1953) (0)
- Mates Benson. Stoic logic and the text of Sextus Empiricus. American journal of philology (Baltimore), vol. 70 (1949), pp. 290–298. (1950) (0)
- Review: Seweryna Luszczewska-Romahnowa, An Analysis and Generalization of Venn's Diagrammatic Decision Procedure (1956) (0)
- Review: Hao Wang, A Proof of Independence (1950) (0)
- Carnap Rudolf. Notes for symbolic logic. Mimeographed, unbound. The University of Chicago Bookstore, Chicago 1937, 37 pp. (1939) (0)
- Smith H. B.. The law of transitivity. Philosophy of science, vol. 3 (1936), p. 123. (1936) (0)
- AN ANALYSIS OF THE RELATIONSHIP BETWEEN FARM MARGINS AND LAND VALUES IN THE SOUTH AFRICAN SUGAR INDUSTRY (2003) (0)
- Quine Willard Van Orman. Mathematical logic. Second printing. Harvard University Press, Cambridge, Mass., 1947, xi + 340 pp. (1947) (0)
- Review: John J. Wellmuth, Some Comments on the Nature of Mathematical Logic (1942) (0)
- Review: C. J. Ducasse, Some Observations Concerning the Nature of Probability (1941) (0)
- Bocheński Inocenty M.. Stan i potrzeby hislorii logiki formalnej (The condition and the needs of the history of formal logic). Przeglqd filozoficzny, vol. 41 (1948), pp. 389–394. (1950) (0)
- Review: H. B. Smith, The Algebra of Propositions (1937) (0)
- Introductory Note.Incomplete Symbols: Descriptions (1975) (0)
- Review: Ellis Evans, On the Language of Converse Relations (1956) (0)
- Arthur W. Burks and Jesse B. Wright. Theory of logical nets. Proceedings of the I.R.E. , vol. 41 (1953), pp. 1357–1365. (1954) (0)
- Chapter IV. COMBINATIONS, GÖDEL NUMBERS (1985) (0)
- Bradley Raymond D.. Geometry and necessary truth. The philosophical review, vol. 73 (1964), pp. 59–75. (1969) (0)
- Review: Martin Gardner, Logic Machines (1952) (0)
- Review: Rollo Handy, Paul Kurtz, A Current Appraisal of the Behavioral Sciences (1964) (0)
- Zemanek Heinz. Automaten und Denkprozesse. German, with summaries in German, English, and French. Digitale Informationswandler — Digital information processors , edited by Walter Hoffmann Friedr. Vieweg a Sohn, Braunschweig, and Interscience Publishers, New York, 1962, pp. 1–66. (1965) (0)
- Review: L. O. Kattsoff, What is Behavior?; Elaine Graham, Logic and Semiotic. Some Comments Regarding the Treatment of Logical Signs in Charles Morris' Signs, Language, and Behavior; Charles Morris, Signs About Signs About Signs (1948) (0)
- Robinson Richard. What is independence?. The philosophical review, vol. 49 (1940), pp. 355–356. (1940) (0)
- Review: Gerard P. Minogue, The Three Fundamental Laws of Thought in Their Metaphysical and Logical Aspects (1947) (0)
- Janos Surányi. Contributions to the reduction theory of the decision problem. Fifth paper. Ackermann prefix with three universal quantifiers. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae , vol. 2 (1951), pp. 325–335. (1953) (0)
- Minoque Gerard P.. The three fundamental laws of thought in their metaphysical and logical aspects. Proceedings of the American Catholic Philosophical Association , vol. 21 (for 1946, pub. 1947), pp. 83–92. (1947) (0)
- Chapter I. INTRODUCTORY (1985) (0)
- Review: Albert Whiteman, Postulates for Boolean Algebra in Terms of Ternary Rejection (1937) (0)
- Meschkowski Herbert. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik . Second, revised and enlarged, edition. Friedr. Vieweg & Sohn, Braunschweig 1960, vii + 141 pp. (1966) (0)
- Review: Wilhelm Ackermann, Konstruktiver Aufbau Eines Abschnitts der Zweiten Cantorschen Zahlenklasse (1952) (0)
- Fischer Hugo. Zum Problem der Übertragung mathetischer Prinzipien: Die “Allgemeine Semantik.” Eine nichtaristotelische Wertungslehre Alfred Korzybskis. Studium generale , vol. 6 (1953), pp. 361–368. (1954) (0)
- Review: Victor Kraft, Die Moderne und die Traditionelle Logik (1951) (0)
- Review: Curt Christian, Zwei Theoreme Uber Die Einerklasse (1956) (0)
- Péter Rózsa. Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur ah Definitionsbereiche. Acta mathematica Academiae Scientiarum Hungaricae , vol. 12 (1961), pp. 271–314, and vol. 13 (1962), pp. 1-24. (1975) (0)
- Gentzen Gerhard. Die Widers pruchsfreiheilder Stufenlogik. Mathematische Zeitschrift , vol. 41 (1936), pp. 357–366. (1936) (0)
- Review: D. A. Bochvar, Uber Einen Aussagenkalkul mit Abzahlbaren Logischen Summen und Produkten (1940) (0)
- Review: Uuno Saarnio, Uber die Konverse der Relation (1950) (0)
- Review: F. L. Bauer, Zur Algebraik des Logikkalkuls (1951) (0)
- Book Review: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie (1935) (0)
- Strauss M.. Zur Begründung der statistischen Transformationstheorie der Quantenphysik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 1936, pp. 382–398. (1937) (0)
- Review: Rosza Peter, Zum Beitrag von F. Schwenkel "Rekursive Wortfunktionen uber Unendlichen Alphabeten."; F. Schwenkel, Entgegnung (1975) (0)
- Review: Philotheus Boehner, Bemerkungen zur Geschichte der De Morgansche Gesetze in der Scholastik (1952) (0)
- Review: Karl Durr, Die Logistik Johann Heinrich Lamberts (1947) (0)
- Landau Edmund. Grundlagen der Analysis. (Das Rechnen mit ganzen, rationalen, irrationalen, komplexen Zahlen.) Ergänzung zu den Lehrbüchern der Differential- und Integralrechnung . Forewords translated by Steinhardt F.. Chelsea Publishing Company, New York 1946, XX + 139 pp. (1946) (0)
- Mokre Johann. Zu den logischen Paradoxien. Meinong-Gedenkschrift , Schriften der Universität Graz, Vol. I, “Styria” Steirische Verlagsanstalt, Graz 1952, pp. 81–89. (1963) (0)
- Review: Katsumi Nakamura, Zum Logischen Funktionsbegriffe des Wiener Kreises (1941) (0)
- Review: Paul Lorenzen, Die Allgemeingultigkeit der Logischen Regeln (1965) (0)
- Review: L. Locher, Die Finsler'schen Arbeiten zur Grundlegung der Mathematik (1938) (0)
- Review: D. Hilbert, W. Ackermann, Grundzuge der Theoretischen Logik (1950) (0)
- Schwenkel Frieder. Rekursive Wortfunktionen über unendlichen Alphabeten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 11 (1965), pp. 133–147. (1975) (0)
- Jørgen Jørgensen. Træk of deduktionsteoriens udvikling i den nyere tid (Outline of the recent development of the theory of deduction). Levin a Munksgaard, Copenhagen1937, 117 pp. (1938) (0)
- Review: M. Strauss, Zur Begrundung der Statistischen Transformationstheorie der Quantenphysik (1937) (0)
- Ackermann Wilhelm. Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Malhematische Zeitschrift , vol. 53 (1950–1951), pp. 403–413. (1952) (0)
- Lorenzen Paul. Die Allgemeingültigkeit der logischen Regeln. Studium generale, vol. 6 (1953), pp. 605–609. (1965) (0)
- Review: H. Wendelin, Ein Kriterium fur die Erweiterbarkeit einer Implikation zu Einer Aquivalenz (1958) (0)
- Abraham Adolf Fraenkel. Diskrete und kontinuierliche Gebilde. Zeitschrift für freie deutsche Forschung (Paris), vol. 2 (1939), pp. 1–14. (1939) (0)
- Review: Gerhard Gentzen, Die Widerspruchsfreiheit der Stufenlogik (1936) (0)
- Review: Arnold Schmidt, Mathematische Grundlagenforschung (1952) (0)
- Review: Karl Durr, Die Mathematische Logik des Arnold Geulincx (1941) (0)
- Review: Hansi Piesch, Archiv fur Elektrotechnik (1965) (0)
- Wendelin H.. Ein Kriterium für die Erweiterbarkeit einer Implikation zu einer Aquivalenz. Österreichische Akademie der Wissenschqften, Anzeiger, Mathematisch-naturwissenschaftliche Klasse, vol. 85 (1948), pp. 66–69. (1958) (0)
- Review: A. Heyting, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie (1935) (0)
- Review: G. Hasenjaeger, Ein Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der ersten Stufe (1966) (0)
- Review: Heinz Zemanek, Automaten und Denkprozesse (1965) (0)
- Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik . Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, vol. 27. 3rd edn., Springer-Verlag, Berlin-Göttingen-Heidelberg 1949, VIII + 155 pp. (1950) (0)
- Review: Hugo Fischer, Zum Problem der Ubertragung Mathetischer Prinzipien: Die "Allgemeine Semantik." Eine Nichtaristotelische Wertungslehre Alfred Korzybskis (1954) (0)
- Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems (1938) (0)
- Hansi Piesch. Begriff der allgemeinen Schaltungstechnik. Archiv für Elektrotechnik , vol. 33 (1939), pp. 672–686. - Hansi Piesch. Über die Vereinfachung von allgemeinen Schaltungen. Archiv für Elektrotechnik , vol. 33 (1939), pp. 733–746. (1965) (0)
- Locher L.. Die Finsler'schen Arbeiten zur Grundlegung der Mathematik. Commentarii mathematici Helvetici , vol. 10 (1937–1938), pp. 206–207. (1938) (0)
- Martin Gottfried. Über ein zweiwertiges Modell einer vierwertigen Logik. Methodos , vol. 1 (1949), pp. 386–389. (1951) (0)
- Review: P. Finsler, Das Kontinuumproblem (1950) (0)
- Review: Gottfried Martin, Uber ein Zweiwertiges Modell einer Vierwertigen Logik (1951) (0)
- Finsler P.. Das Kontinuumproblem. Elemente der Mathematik (Basel), vol. 5 (1950), pp. 63–65. (1950) (0)
- Saarnio Uuno. Über die Konverse der Relation. Ajatus (Helsinki), vol. 15 (for 1948, pub. 1949), pp. 167–176. (1950) (0)
- Mates Benson. Elementare Logik (Prädikatenlogik der ersten Stufe) . German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen 1969, 296 pp. (1972) (0)
- Book Review: Die Grundlagen der Geometrie, ihre Bedeutung für Philosophie, Mathematik, Physik und Technik (1935) (0)
- Hasenjaeger G.. Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 18 (1953), pp. 42–48. (1966) (0)
- Müller Hans Robert. Algebraischer Aussagenkalkül. Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse, Sitzungsberichte, Abteilung II a, vol. 149 (1940), pp. 77–115. (1942) (0)
- Das Turacin, ein kupferhaltiger thierischer Farbstoff (0)
- Review: Herbert Meschkowski, Wandlungen des Mathematischen Denkens. Eine Einfuhrung in die Grundlagenprobleme der Mathematik (1966) (0)
- Review: Abraham Adolf Fraenkel, Diskrete und Kontinuierliche Gebilde (1939) (0)
- Review: Hugo Dingler, Die Grundlagen der Geometrie, ihre Bedeutung für Philosophie, Mathematik, Physik und Technik (0)
- Chapter III. LAMBDA-DEFINABILITY (1985) (0)
- Moritz Robert Edouard. On mathematics and mathematicians. (Formerly titled: Memorabilia mathematica or the philomath's quotation-book.) Dover Publications Inc., New York 1958, xiv + 410 pp. (1959) (0)
- Parsons Charles and Kohl Herbert R.. Self-reference, truth, and provability. Mind, n.s. vol. 69 (1960), pp. 69–73. (1960) (0)
- Toms Eric. The law of excluded middle. Philosophy of science, vol. 8 (1941), pp. 33–38. (1941) (0)
- Review: Harold R. Smart, The Alleged Predicament of Logic (1944) (0)
- C. J. Ducasse. Some observations concerning the nature of probability. The journal of philosophy , vol. 38 (1941), pp. 393–403. (1941) (0)
- Review: Bela Fogarasi, Samuel Szemere, Logik (1956) (0)
- On Equivalence Relations. (1956) (0)
- Review: Robert Feys, Une Theorie Formalisee Demontree sans Symboles (1958) (0)
- Curry Haskell B.. Some advances in the combinatory theory of quantification. Proceedings of the National Academy of Sciences of the United States of America , vol. 28 (1942), pp. 564–569. (1943) (0)
- Bell E. T.. The development of mathematics . McGraw-Hill Book Co., New York and London 1940, xiii + 583 pp. (1940) (0)
- Searles Herbert L.. Logic and scientific methods. An introductory course. Second edition. The Ronald Press Company, New York 1956, viii + 378 pp. (1958) (0)
- Review: Garrett Birkhoff, Lattice Theory (1950) (0)
- Quine W. V.. On natural deduction. The journal of symbolic logic , vol. 15 (1950), pp. 93–102. See erratum, ibid., p. iv. (1952) (0)
- Pedoe Dan. The gentle art of mathematics. With drawings by Tayeb Griselda El. The English Universities Press Limited, London 1958, and The Macmillan Company, New York 1959, 143 pp. Second edition, Collier Books, New York 1963, 159 pp. (1966) (0)
- H. B. Smith. Modal logic—a revision. Philosophy of science , vol. 4 (1937), pp. 383–384. (1937) (0)
- Review: Claude E. Shannon, Computers and Automata (1954) (0)
- Review: W. V. Quine, On Natural Deduction (1952) (0)
- Review: G. L. Farre, De Morgan, Augustus (1975) (0)
- Review: Theodore Hailperin, An Incorrect Theorem (1966) (0)
- Jungius Joachim. Logica Hamburgensis . Edited by Meyer Rudolf W.. Augustin J. J., Hamburg 1957, XXXIX + 673 pp. (1968) (0)
- Review: Waclaw Sierpinski, Hypothese du Continu (1958) (0)
- Review: H. W. Leggett, Bertrand Russell, O. M. A Pictorial Biography (1951) (0)
- Markov A. A.. On the representation of recursive functions . English translation of XV 66 (2). American Mathematical Society, translation number 54. Lithoprinted. New York 1951, 13 pp. (1952) (0)
- Weinberg Julius. A possible solution of the heterological paradox. The philosophical review, vol. 46 (1937), pp. 657–659. (1938) (0)
- Review: Douglas R. Hartree, Calculating Instruments and Machines (1953) (0)
- Review: S. I. Hayakawa, Semantics: 10 eventful years (1950) (0)
- Carpenter John A., Moore Omar K., Snyder Charles R., and Lisansky Edith S.. Alcohol and higher-order problem solving. Quarterly journal of studies on alcohol (New Haven), vol. 22 (1961), pp. 183–222. (1965) (0)
- Review: Lewis Carroll, Edmund C. Berkeley, Symbolic Logic and The Game of Logic (1960) (0)
- Review: W. Mays, D. P. Henry, Exhibition of the Work of W. Stanley Jevons (1953) (0)
- Review: , Semantics, General Semantics, Semiotic. New Acceptations of Old Terms (1950) (0)
- Nielsen Harry A.. Language as existent. Notre Dame journal of formal logic, vol. 2 (1961), pp. 244–250. (1962) (0)
- Review: Brand Blanshard, The Escape from Philosophic Futility (1948) (0)
- Related Citations (1954) (0)
- Review: Richard B. Hurley, Transistor Logic Circuits (1968) (0)
- Review: U. Farinelli, A. Gamba, Physics and Mathematical Logic (1955) (0)
- Review: Hermann Weyl, David Hilbert and His Mathematical Work (1944) (0)
- Review: A. A. Markov, Teoria Algorifmov (Az Algoritmusok Elemelete (1955) (0)
- Birkhoff Garrett and MacLane Saunders. Algebra of classes. A survey of modern algebra , by Birkhoff Garrett and MacLane Saunders, The Macmillan Company, New York 1941, pp. 311–332. (1941) (0)
- Review: James W. Stakelum, Galen and the Logic of Propositions (1942) (0)
- Crystal David. Linguistics . Penguin Books Ltd., Harmondsworth, Middlesex, and Penguin Books, Inc., Baltimore, Maryland, 1971, 267 pp. Palmer Frank. Grammar . Penguin Books Ltd., Harmondsworth, Middlesex, and Penguin Books, Inc., Baltimore, Maryland 1971, 200 pp. (1972) (0)
- Review: Gr. C. Moisil, Les Etats Transitoires dans les Circuits Sequentiels (1972) (0)
- Northrop F. S. C.. The neurological and behavioristic psychological basis of the ordering of society by means of ideas. Science , vol. 107 (1948), pp. 411–417. (1948) (0)
- Review: Paul Kurtz, American Philosophy in the Twentieth Century: A Sourcebook (1970) (0)
- Review: Karl Menger, Are Variables Necessary in Calculus? (1950) (0)
- Rynin David. Introduction. A treatise on language, by Johnson Alexander Bryan, edited by Rynin David, University of California Press, Berkeley and Los Angeles, and Cambridge University Press, London, 1959, pp. 1–25. (1966) (0)
- Review: Frederic B. Fitch, Charles A. Baylis, On God and Immortality (1948) (0)
- Bell E. T.. Men of mathematics. Simon and Schuster, New York 1937, xxi + 592 pp. (1937) (0)
- Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 544–546. (1936) (0)
- Review: William Wernick, An Enumeration of Logical Functions (1940) (0)
- Boole George. The mathematical analysis of logic, being an essay towards a calculus of deductive*easoning . Basil Blackwell, Oxford 1948, title pages + 82 pp. (1948) (0)
- Johnston L. S.. Another form of the Russell paradox. The American mathematical monthly , vol. 47 (1940), p. 474. (1940) (0)
- Alf Ross. Imperatives and logic. Philosophy of science , vol. 11 (1944), pp. 30–46. (1944) (0)
- Rose Alan. A formalisation of the 2-valued propositional calculus with self-dual primitives. Mathematische Annalen , vol. 127 (1954), pp. 255–257. (1954) (0)
- Venn John. Symbolic logic . Second edition, revised and rewritten. Chelsea Publishing Company, Bronx, N.Y., 1971, xxxviii + 540 pp. (1972) (0)
- Langer Susanne K.. An introduction to symbolic logic . Second edition (revised). Dover Publications, New York 1953, 367 pp. (1956) (0)
- Review: Joseph T. Clark, Contemporary Science and Deductive Methodology (1957) (0)
- Review: B. Bykhovsky, Anatol Rapoport, S. I. Hayakawa, The Morass of Modern Bourgeois Philosophy (1950) (0)
- Review: Howard F. Fehr, Meaning in Algebra (1947) (0)
- Review: Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Realism as a Philosophy of Mathematics (1975) (0)
- Heyting A.. Intuitionism in mathematics. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Klibansky Raymond, La Nuova Italia Editrice, Florence 1968, pp. 316–323. (1975) (0)
- Review: Ernest Nagel, James R. Newman, Godel's Proof (1956) (0)
- Review: Everett J. Nelson, A Note on Contradiction (1936) (0)
- Review: L. E. J. Brouwer, Consciousness, Philosophy, and Mathematics (1949) (0)
- Breuer Joseph. Introduction to the theory of sets. Translated by Fehr Howard Franklin. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1958, viii + 108 pp. (1958) (0)
- Review: W. T. Guy, On Equivalence Relations (1956) (0)
- Friedrich Waismann. Introduction to mathematical thinking. The formation of concepts in modern mathematics . With a foreword by Karl Menger. Translated by Theodore J. Benac. Frederick Ungar Publishing Co., New York1951, XI + 260 pp. (1952) (0)
- Fogarasi Béla. Logik. Translated by Szemere Samuel. Aufbau-Verlag, Berlin 1955, 423 pp. (1956) (0)
- Maehara Shôji. Logic in Japan. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques) , edited by Klibansky Raymond, La Nuova Italia Editrice, Florence 1968, pp. 228–231. (1975) (0)
- Review: J. Knox, Material Implication and "if...then (1972) (0)
- Review: B. Meltzer, On Formally Undectdable Propositions of Principia Mathematica and Related Systems (1965) (0)
- Review: Baruch Germansky, A New Set of Axioms Sufficient for the Development of the Theory of Natural Numbers (1950) (0)
- Wedberg Anders. The Aristotelian theory of classes. Ajatus (Helsinki), vol. 15 (for 1948, pub. 1949), pp. 299–314. (1950) (0)
- Review: Barkley Rosser, On the Many-Valued Logics (1941) (0)
- Review: Alfred Tarski, The Semantic Conception of Truth and the Foundations of Semantics; C. I. Lewis, The Modes of Meaning; Nelson Goodman, On Likeness of Meaning (1956) (0)
- Brouwer L. E. J.. Consciousness, philosophy, and mathematics. Actes du Χme Congrès International de Philosophie (Amsterdam, 11–18 août, 1948)—Proceedings of the Tenth International Congress of Philosophy (Amsterdam, August 11–18, 1948) , North-Holland Publishing Company, Amsterdam 1949, pp. 1235–124 (1949) (0)
- Review: H. R. Smart, Frege's Logic (1945) (0)
- Dodd Stuart Carter. Dimensions of society. A quantitative systematics for the social sciences. The Macmillan Company, New York 1942, ix + 944 pp. (1942) (0)
- Review: Donald L. Webb, Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation (1936) (0)
- Review: Lillian R. Lieber, Hugh Gray Lieber, Mits, Wits and Logic (1948) (0)
- Pankajam S.. On Eider's ϕ-function and its extensions. The journal of the Indian Mathematical Society, n.s. vol. 2 (1936), pp. 67–75. (1936) (0)
- Review: E. R. Kiely, Mathematics, History of (1975) (0)
- Review: Sylvester Hartman, Are There any Extra-Syllogistic Forms of Reasoning? (1940) (0)
- Review: W. Mays, D. G. Prinz, A Relay Machine for the Demonstration of Symbolic Logic (1950) (0)
- Review: Irving M. Copi (Copilowish), Modern Logic and the Synthetic a Priori (1950) (0)
- Review: Max Black, A New Method of Presentation of the Theory of the Syllogism (1945) (0)
- List of Officers and Members of the Association for Symbolic Logic (1958) (0)
- Rose Alan. A formalization of the C-0 propositional calculus. Proceedings of the Cambridge Philosophical Society, vol. 47 (1951), pp. 635–636. (1952) (0)
- List of officers and members of the Association for Symbolic Logic (1960) (0)
- Farinelli U. and Gamba A.. Physics and mathematical logic. Il nuovo cimento, ser. 10 vol. 1 (1955), pp. 1152–1158. (1955) (0)
- Review: Laszlo Kalmar, Contributions to the Reduction Theory of the Decision Problem. Third Paper. Prefix $(x_1)(Ex_2)\cdots(Ex_{n-2})(x_{n-1})(x_n)$, a Single Binary Predicate (1952) (0)
- Review: K. Marc-Wogau, Remarks Concerning the Latest Discussion on Sense-Data (1949) (0)
- Review: Francis C. Wade, John of St. Thomas, Outline of Formal Logic (1959) (0)
- Post Emil L.. Formal reductions of the general combinatorial decision problem. American journal of mathematics, vol. 65 (1943), pp. 197–215. (1943) (0)
- Bauer F. L.. Zur Algebraik des Logikkalküls. Methodos, vol. 1 (1949), pp. 288–292. (1951) (0)
- Review: Jerrold J. Katz, The Problem of Induction and Its Solution (1971) (0)
- Goddard L.. ‘True’ and ‘provable’. Mind , n.s. vol. 67 (1958), pp. 13–31. (1960) (0)
- Review: Alan Rose, A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives (1954) (0)
- Ushenko Andrew Dr. Quine's theory of truth-functions. The journal of philosophy, vol. 39 (1942), pp. 64–67.Quine Willard V.. Reply to Professor Ushenko. The journal of philosophy, vol. 39 (1942), pp. 68–71. (1942) (0)
- H. B. Smith. The algebra of propositions. Philosophy of science , vol. 3 (1936), pp. 551–578. (1937) (0)
- Dilworth R. P.. Lattices with unique complements. Transactions of the American Mathematical Society , vol. 57 (1945), pp. 123–154. (1945) (0)
- III. Functional Calculi of First Order (1991) (0)
- Reviews. Louis De Raeymaeker. Introduction à la philosophie Editions de l'Institut Supérieur de Philosophie, Louvain 1938. Second edition, ibid. 1944, 272 pp. (1948) (0)
- Review: Georg Cantor, Philip E. B. Jourdain, Contributions to the Founding of the Theory of Transfinite Numbers (1952) (0)
- Review: Thoralf Skolem, On the Proofs of Independence of the Axioms of the Classical Sentential Calculus (1953) (0)
- McKinsey J. C. C.. Reducible Boolean functions. Bulletin of the American Mathematical Society , vol. 42 (1936), pp. 263–267. (1936) (0)
- Carmichael Peter A.. Animadversion on the null class. Philosophy of science , vol. 10 (1943), pp. 90–94. (1943) (0)
- IV. The Pure Functional Calculus of First Order (1991) (0)
- Anscombe G. E. M.. Before and after. The philosophical review , vol. 73 (1964), pp. 3–24. (1971) (0)
- Review: Alan Rose, Self-Dual Primitives for Modal Logic (1953) (0)
- Review: C. C. H. Barker, Some Calculations in Logic (1957) (0)
- Montague Richard and Tarski Jan. On Bernstein's self-dual set of postulates for Boolean algebras. Proceedings of the American Mathematical Society , vol. 5 (1954), pp. 310–311. (1962) (0)
- Max Black. A new method of presentation of the theory of the syllogism. The journal of philosophy , vol. 42 (1945), pp. 449–455. (1945) (0)
- Menger Karl. Are variables necessary in calculus? The American mathematical monthly , vol. 56 (1949), pp. 609–620. (1950) (0)
- Marc-Wogau K.. Remarks concerning the latest discussion on sense-data. Actes du Xme Congrès International de Philosophie (Amsterdam, 11–18 août, 1948)—Proceedings of the Tenth International Congress of Philosophy (Amsterdam, August 11–18,1948) , North-Holland Publishing Company, Amsterdam 1949, pp. (1949) (0)
- Kraft Victor. The Vienna Circle. The origin of neo-positivism. A chapter in the history of recent philosophy. English translation of XVII 62(1) by Pap Arthur. Philosophical Library, New York 1953, xii + 209 pp. (1955) (0)
- Review: Ernest H. Hutten, A Note on Semantics (1950) (0)
- Review: E. W. Beth, Decision Problems of Logic and Mathematics (1957) (0)
- Esser Gerard. Logica, in usum scholarum . The Mission Press, Techny, Ill., 1942, xv + 247 pp. (1943) (0)
- Review: Alfred Tarski, Olaf Helmer, Introduction to Logic and to the Methodology of Deductive Sciences (1941) (0)
- Moore Omar K. and Lewis Donald J.. Learning theory and culture. Psychological review, vol. 59 (1952), pp. 380–388. (1959) (0)
- Wellmuth John J.. Some comments on the nature of mathematical logic. The new scholasticism, vol. 16 (1942), pp. 9–15. (1942) (0)
- Review: Leonard Linsky, On Using Inverted Commas (1951) (0)
- Review: E. J. E. Huffer, (Logistiek en wetenschapsleer) Logistic and Methodology of Science; R. Feys, (Logica en wijsbegeerte van de wiskunde) Logic and Philosophy of Mathematics (1952) (0)
- Review: Henry Winthrop, Metalypsis and Paradox in the Concept of Metalanguage (1947) (0)
- Boole George. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Dover Publications, Inc., New York 1951, 11 + 424 pp. (1951) (0)
- J. Łos and R. Suszko. Remarks on sentential logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings , ser. A vol. 61 (1958), pp. 177–183; also Indagationes mathematicae, vol. 20 (1958), pp. 177-183. (1975) (0)
- Lonergan Bernard. The form of inference. Thought, vol. 18 (1943), pp. 277–292. (1943) (0)
- Gonzalez M. O. and Mancill J. D.. Remarks on natural numbers. The American mathematical monthly, vol. 58 (1951), pp. 186–188. (1951) (0)
- Dienes Z. P.. On an implication function in many-valued systems of logic. The journal of symbolic logic, Bd. 14 (1949), pp. 95–97. (1950) (0)
- Review: Ivo Thomas, The Rule of Excision in Positive Implication (1975) (0)
- Goodman Nelson. On a pseudo-test of translation. Philosophical studies, vol. 3 (1952), pp. 81–82. (1955) (0)
- Review: Ian Rawlins, Aesthetics and the Gestalt (1962) (0)
- Review: Gilbert Varet, Paul Kurtz, International Directory of Philosophy and Philosophers (1967) (0)
- Review: Robert S. Brumbaugh, An Aristotelian Defense of "Non-Aristotelian" Logics (1952) (0)
- Herzberger Hans G.. The logical consistency of language. Langmage and learning, edited by Emig Janet A., Fleming James T., and Popp Helen M., Harcourt, Brace & World, Inc., New York-Chicago-Burlingame 1966, pp. 250–263. (1968) (0)
- Review: Hans Reichenbach, The Rise of Scientific Philosophy (1956) (0)
- Vaidyanathaswamy R.. On disjunction in intuitionist logic. Proceedings of the Indian Academy of Sciences, Section A, vol. 17 (1943), pp. 41–45. (1944) (0)
- Clark Joseph T.. Contemporary science and deductive methodology. Proceedings of the American Catholic Philosophical Association, vol. 26 (1952), pp. 3–40. (1957) (0)
- Review: A. Dumitriu, The Antinomy of the Theory of Types (1972) (0)
- Wolf A.. Textbook of logic. Second edition revised and enlarged. George Allen & Unwin, London 1938 (reprinted 1943, 1948), 455 pp. (1949) (0)
- Winthrop Henry. Metalypsis and paradox in the concept of metalanguage. The philosophical review , vol. 54 (1945), pp. 607–610. (1947) (0)
- Review: William G. Leavitt, Boolean Algebra and Circuit Analysis (1958) (0)
- Freund John E.. Chapter 23: Logic. A modern introduction to mathematics, by Freund John E., Prentice-Hall, Inc., Englewood Cliffs, N.J., 1956, pp. 415–449. (1957) (0)
- Frege Gottlob. Aritmetica e logica. Translation and notes by Geymonat L.. Biblioca di cultura scientifica XVIII. Giulio Einaudi, Turin 1948, 269 pp. (1948) (0)
- Copi Irving M. (Copilowish). Modern logic and the synthetic a priori. The journal of philosophy, vol. 46 (1949), pp. 243–245. (1950) (0)
- Ullian Joseph. Mathematical objects. Philosophy of science, The Delaware seminar , Volume 1, 1961-1962, edited by Baumrin Bernard, Interscience Publishers, New York and London 1963, pp. 187–205. (1975) (0)
- Review: Garrett Birkhoff, Theorie et Applications des Treillis (1950) (0)
- Hanson Norwood Russell. The Gödel theorem. An informal exposition. Notre Dame journal of formal logic, vol. 2 (1961), pp. 94–110. (1962) (0)
- Review: Leonard Linsky, Sematics and the Philosophy of language (1956) (0)
- Review: Baruch Germansky, Problem (1953) (0)
- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION (1985) (0)
- Boehner Philotheus. Introduction. Ockham, Philosophical writings, A selection edited and translated by Philotheus Boehner, O.F.M.†, Thomas Nelson and Sons, Edinburgh 1957, pp. ix–lix. (1958) (0)
- Hu Sze-Tsen. Elementary functions and coordinate geometry. Markham Publishing Company, Chicago 1969, xvii + 349 pp. (1969) (0)
- Hurley Richard B.. Transistor logic circuits. John Wiley & Sons, Inc., New York and London 1961, xvi + 363 pp. (1968) (0)
- Kleene S. C.. Errata. Arithmetical predicates and function quantifiers. Transactions of the American Mathematical Society, vol. 80 (1955), p. 386, and vol. 81 (1956), p. 524. (1957) (0)
- H. M. MacNeille. Extensions of partially ordered sets. Proceedings of the National Academy of Sciences , vol. 22 (1936), pp. 45–50. (1936) (0)
- Review: E. T. Bell, The Development of Mathematics (1940) (0)
- Review: Robert McNaughton, Logical and Combinatorial Problems in Computer Design (1957) (0)
- Mr. Weiss on the paradox of necessary truth (1956) (0)
- Review: M. H. A. Newman, The Calculus of Sets (1939) (0)
- Review: W. A. Wallace, Logic, Symbolic (1975) (0)
- Review: Richard von Mises, Scientific Conception of World. On a New Textbook of Positivism (1948) (0)
- Review: Peter A. Carmichael, Animadversion on the Null Class (1943) (0)
- Review: Baruch Germansky, An Alternative Proof of a Theorem of Equivalence Concerning Axioms of Natural Numbers (1950) (0)
- Morris Charles. Signification and significance. A study of the relation of signs and values. The M.I.T. Press, Cambridge, Mass., 1964, x + 99 pp. (1968) (0)
- Review: C. West Churchman, F. P. Clarke, M. C. Nahm, Towards a General Logic of Propositions (1943) (0)
- List of officers and members of the Association for Symbolic Logic (1951) (0)
- Review: Evert Beth, Mathematics, Logic, and Philosophy of Science at the Congres-Descartes (1938) (0)
- Review: Norwood Russell Hanson, A Note on the Godel Theorem (1963) (0)
- Review: Paul Turan, On the Work of Alan Baker; Alan Baker, Effective Methods in the Theory of Numbers (1972) (0)
- Review: H. Poincare, Science and Hypothesis; Henri Poincare, Science and Method (1953) (0)
- Review: Luitgard Wundheiler, Alex Wundheiler, William N. Locke, A. Donald Booth, Some Logical Concepts for Syntax (1956) (0)
- Leggett H. W.. Bertrand Russell, O. M. A pictorial biography . Philosophical Library, New York 1950, 79 pp. (1951) (0)
- Basson A. H. and O'Connor D. J.. Introduction to symbolic logic . Third edition. The Free Press, Glencoe, III., 1960, viii + 175 pp. (1963) (0)
- Charles Morris. Signs, language, and behavior . George Braziller, Inc., New York1955, xii + 365 pp. (1957) (0)
- Review: Norman M. Martin, On Completeness of Decision Element Sets (1954) (0)
- Review: C. Kim-Bradley, Astounding Science Fiction (1952) (0)
- List of officers and members of the Association for Symbolic Logic (1962) (0)
- Review: Ivo Thomas, CS(n): An Extension of CS (1950) (0)
- Mates Benson. Elementary lope . Second edition of XXXI 483. Oxford University Press, New York 1972, xii + 237 pp. (1972) (0)
- Quine W. V.. On existence conditions for elements and classes. The journal of symbolic logic, vol. 7 (1942), pp. 157–159. (1943) (0)
- Review: Curt Christian, A Proof of the Inconsistency of Quine's System "Mathematical Logic (1951)." (1956) (0)
- Review: Henry S. Leonard, The Logic of Existence (1963) (0)
- Review: H. A. Nielsen, Linguistic Analysis (1975) (0)
- Serrell Robert. Elements of Boolean algebra for the study of information-handling systems. Proceedings of the I.R.E., vol. 41 (1953), pp. 1366–1380.Serrell Robert. Correction. Proceedings of the I.R.E., vol. 42 (1954), p. 475. (1954) (0)
- Review: E. N. Gilbert, N-Terminal Switching Circuits (1965) (0)
- Communications of the international union of history and philosophy of science division of logic, methodology and philosophy of science (2004) (0)
- CORRECTION AND ADDITIONS (1985) (0)
- Review: H. M. MacNeille, Extensions of Partially Ordered Sets (1936) (0)
- Review: Soren Hallden, A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1 (1949) (0)
- Sellars Wilfrid. Acquaintance and description again. The journal of philosophy, vol. 46 (1949), pp. 496–504. (1950) (0)
- Review: Frank Restle, Psychology of Judgment and Choice: A Theoretical Essay (1960) (0)
- Introduction to Logic . Patrick Suppes. Van Nostrand, Princeton, N.J., 1957. xviii+312 pp. $5.50. (1957) (0)
This paper list is powered by the following services:
Other Resources About Alonzo Church
What Schools Are Affiliated With Alonzo Church?
Alonzo Church is affiliated with the following schools:
