Why Is Alonzo Church Influential?
According to Wikipedia , Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language . Alongside Alan Turing, Church has been 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
1930 1940 1950 1960 1970 1980 1990 0 250 500 750 1000 1250 1500 1750 2000 2250 2500 2750 Published Papers A Formulation of the Simple Theory of Types (2165) An Unsolvable Problem of Elementary Number Theory (1594) The calculi of lambda-conversion (1140) A Note on the Entscheidungsproblem (683) A Set of Postulates for the Foundation of Logic (552) Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (490) Introduction to Mathematical Logic (440) On the concept of a random sequence (362) Some properties of conversion (319) Logic, arithmetic, and automata (259) A Formulation of the Logic of Sense and Denotation (212) 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. (183) On Carnap's Analysis of Statements of Assertion and Belief (139) Intensional isomorphism and identity of belief (119) Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski (111) The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) (97) Astounding Science Fiction. (88) Set Theory with a Universal Set (87) Existence and Description in Formal Logic (86) Formal definitions in the theory of ordinal numbers (83) A Bibliography of Symbolic Logic (80) The Need for Abstract Entities in Semantic Analysis (79) Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II) (73) Logische Syntax der Sprache. (66) Carnap's Introduction to Semantics (63) The constructive second number class (62) 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. (53) Introduction to Mathematical Logic. Volume I. (49) A Revised Formulation of the Logic of Sense and Denotation. Alternative (1) (48) Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem (42) Correction to A Note on the Entscheidungsproblem (36) Analysis of Data When the Response is a Curve (36) Alternatives to Zermelo’s assumption (33) The Richard Paradox (31) Introduction to Mathematical Logic. Volume 1 (31) Review: Emil L. Post, Formal Reductions of the General Combinatorial Decision Problem (24) Propositions and Sentences (22) Russellian Simple Type Theory (22) Some Theorems on Definability and Decidability (21) Review: W. V. Quine, A Logistical Approach to the Ontological Problem (21) Review: D. A. Bocvar, On a Three-Valued Logical Calculus and its Application to the Analysis of Contradictions (21) De Morgan, Augustus. (20) Introduction to Mathematical Logic. Part I (17) Review: Carew A. Meredith, Single Axioms for the Systems $(C, N), (C, 0)$ and $(A, N)$ of the Two- Valued Propositional Calculus (17) Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines (17) A Proof of Freedom from Contradiction. (17) On the law of excluded middle (17) Review: Jan Lukasiewicz, The Shortest Axiom of the Implicational Calculus of Propositions (16) Review: Willard V. Quine, Notes on Existence and Necessity (16) Review: Garrett Birkhoff, John von Neumann, The Logic of Quantum Mechanics (15) Review: Alfred Jules Ayer, Language, Truth and Logic (14) Review: M. H. Stone, The theory of Representations for Boolean Algebras (12) Zur Begrundung der Statistischen Transformationstheorie der Quantenphysik (11) Review: R. A. Kocourek, An Evaluation of Symbolic Logic (11) A Bibliography of Symbolic Logic (11) Reviews. Willard V. Quine. Notes on existence and necessity. The journal of philosophy , vol. 40 (1943), pp. 113–127. (10) Special Cases of the Decision Problem (10) Additions and corrections to A bibliography of symbolic logic (10) Review: P. S. Novikoff, On the Consistency of Certain Logical Calculus (9) Review: George Boole, An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities (9) Russell's Theory of Identity of Propositions in Philosophy of Science History of Science. (9) Review: Motinori Goto, Application of Logical Mathematics to the Theory of Relay Networks (8) Review: Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, Synthesis of Electronic Computing and Control Circuits (8) Schröder's anticipation of the simple theory of types (8) Post Emil L.. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105. (8) Conditioned disjunction as a primitive connective for the propositional calculus (8) 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. (7) Review: Norbert Wiener, Cybernetics. Or Control and Communication in the Animal and the Machine (6) The Calculi of Lambda Conversion. (Am-6), Volume 6 (6) Review: Everett W. Hall, Some Dangers in the Use of Symbolic Logic in Psychology (6) Review: Claude E. Shannon, A Symbolic Analysis of Relay and Switching Circuits (6) Review: J. Findlay, Goedelian Sentences: A Non-Numerical Approach (5) Review: Haskell B. Curry, The Inconsistency of Certain Formal Logics (5) Review: Willard V. Quine, Paul Arthur Schilpp, Whitehead and the Rise of Modern Logic (5) Review: Peter Geach, Max Black, Translations from the Philosophical Writings of Gottlob Frege (5) Self-Contradictory Propositions. (4) Schröder's anticipation of the simple theory of types (4) Introduction to Mathematical Logic. Volume I. (4) Review: Jan Lukasiewicz, On Variable Functors of Propositional Arguments; C. A. Meredith, On an Extended System of the Propositional Calculus (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. (4) An Independence Question in Recursive Arithmetic (4) Review: Paul Finsler, Gibt es Unentscheidbare Satze? (4) Review: Karel Lambert, Existential Import Revisited (4) Review: Gottlob Frege, A Source Book in Mathematical Logic 1879-1931 (4) Review: Julius Weinberg, A Possible Solution of the Heterological Paradox (3) On irredundant sets of postulates (3) Quine Willard Van Orman. Mathematical logic. W. W. Norton & Company, New York 1940, xiii + 348 pp. (3) Review: Marvin Farber, The foundation of Phenomenology. Edmund Husserl and the Quest for a Rigorous Science of Philosophy (3) Review: Richard M. Friedberg, 4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive (3) Mathematics and Logic (3) Review: Rudolf Carnap, Foundations of Logic and Mathematics (3) Review: Janos Suranyi, Contributions to the Reduction Theory of the Decision Problem. Second Paper. Three Universal, One Existential Quantifiers (3) Review: W. V. Quine, Introductory Note; Bertrand Russell, Mathematical Logic as Based on the Theory of Types (3) Review: Emil L. Post, Finite Combinatory Processes--Formulation 1 (3) Berkeley Edmund C.. The algebra of states and events. The scientific monthly, vol. 78 (1954), pp. 232–242. (3) Review: L. Jonathan Cohen, Are Philosophical Theses Relative to Language? (3) Brief Bibliography of Formal Logic (3) Review: E. T. Whittaker, The New Algebras and Their Significance for Physics and Philosophy (2) Review: George Boole, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning (2) On the Form of Differential Equations of a System of Paths (2) Review: Frederic B. Fitch, The Problem of the Morning Star and the Evening Star (2) Review: Nathaniel Lawrence, Heterology and Hierarchy (2) Uniqueness of the Lorentz Transformation (2) Review: Peter Thomas Geach, On Rigour in Semantics; R. M. Martin, Mr. Geach on Mention and Use (2) Review: Willard V. Quine, A Short Course in Logic. Chapters I-VII (2) Review: Ernest Nagel, Logic Without Ontology (2) Review: S. C. Kleene, A note on recursive functions (2) Review: Karl Popper, The Logic of Scientific Discovery (2) Review: Z. P. Dienes, On an Implication Function in Many-Valued Systems of Logic (2) Review: Dana Scott, Ralph Schoenman, Existence and Description in Formal Logic (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. (2) Grundlagen der Analysis (das Rechnen mit ganzen, rationalen, irrationalen, komplexen Zahlen) : Erganzung zu den Lehrbüchern der Differential- und Integralrechnung (2) Principia: Volumes II and III (2) Review: A. N. Prior, Symmetry, Transitivity and Reflexivity (2) Review: Atwell R. Turquette, Godel and the Synthetic a Priori (2) A bibliography of symbolic logic, 1666-1935 (2) Modality and Probability. (2) Review: Friedrich Waismann, Einfuhrung in Das Mathematische Denken. Die Begriffsbildung der Modernen Mathematik (2) Review: Augustus de Morgan, On the Syllogism and other Logical Writings by Augustus de Morgan (2) Chwistek Leon. Überwindung des Begriffsrealismus. Studia philosphica, vol. 2 (offprint 1937) pp. 1–18. (2) Special Cases of the Decision Problem. A Correction (2) Review: Stuart Hampshire, Multiply General Sentences (2) Wittgenstein Ludwig. Tractatus logico-philosophicus . With an introduction by Russell Bertrand. Fourth impression. Routledge & Kegan Paul, London 1949, 189 pp. (2) Wang Hao. Note on rules of inference. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 193–196. (2) Review: Edmund C. Berkeley, Boolean Algebra (The Technique for Manipulating "and," "or," "not," and Conditions) and Applications to Insurance (2) Quine on Logistic (2) Myhill John. A system which can define its own truth. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 190–192. (1) Mathematical Logic Lectures (1) Review: Laszlo Kalmar, Contributions to the Reduction Theory of the Decision Problem. Fourth Paper Reduction to the Case of a Finite Set of Individuals (1) Review: Barkley Rosser, The Introduction of Quantification into a Three-Valued Logic (1) Review: R. Harre, F. Waismann, How I see Philosophy (1) Review: G. Udny Yule, M. G. Kendall, An Introduction to the Theory of Statistics (1) Quine Willard V.. A short course in logic. Chapters I-VII. Mimeographed. Harvard Cooperative Society, Cambridge, Mass., 1946, iv + 130 pp. (1) Review: W. V. Quine, Two Theorems about Truth-Functions (1) Mathematical logic : Princeton University, October 1935 - January 1936 (1) Review: Leon Henkin, Banishing the Rule of Substitution for Functional Variables (1) Review: Robert S. Brumbaugh, An Aristotelian Defense of "Non-Aristotelian" Logics (1) Review: Alfred J. Ayer, The Foundations of Empirical Knowledge (1) On irredundant sets of postulates (1) Fitch Frederic B.. The problem of the Morning Star and the Evening Star. Philosophy of science , vol. 16 (1949), pp. 137–141. (1) Review: Tameharu Shirai, On the Pseudo-Set (1) Review: Alexander Philipov, Ernest Nagel, Logic and Dialectic in the Soviet Union (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. (1) V. Functional Calculi of Second Order (1) Newmak M. H. A.. Stratified systems of logic. Proceedings of the Cambridge Philosophical Society , vol. 39 (1943), pp. 69–83. (1) Karl R. Popper. The logic of scientific discovery. Hutchinson & Co., Ltd., London1959, 480 pp. (1) Review: P. T. Geach, On Insolubilia (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 (1) Review: Andrew Ushenko, Dr. Quine's Theory of Truth-Functions (1) Hartree Douglas R.. Calculating instruments and machines. The University of Illinois Press, Urbana 1949, ix + 138 pp. (1) Review: Edmund Callis Berkeley, Giant Brains. Or Machines That Think (1) Review: Timothy Smiley, On Lukasiewicz's L-Modal System (1) Review: Leon Chwistek, Uberwindung des Begriffsrealismus (1) Review: Johann Jakob Burckhardt, Zur Neubegrundung der Mengenlehre (1) Review: G. H. v. Wright, On the Idea of Logical Truth (I); G. H. von Wright, Form and Content in Logic (1) Review: M. H. A. Newman, Stratified Systems of Logic (1) Review: C. J. Ducasse, Some Observations Concerning the Nature of Probability (1) Review: Harry Ruja, Good Logics and Bad (1) Hall Everett W.. Some dangers in the use of symbolic logic in psychology. Psychological review, vol. 49 (1942), pp. 142–169. (1) Review: Willard Van Orman Quine, Mathematical Logic (1) Review: A. N. Prior, The Parva Logicalia in Modern Dress (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. (1) Schutz William C.. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York 1958, xi + 267 pp. (1) Review: Rudolf Carnap, Logische Syntax der Sprache (1) Review: Johann Mokre, Zu den Logischen Paradoxien (1) Review: Boleslaw Sobocinski, On a Universal Decision Element (1) Runes Dagobert D.. Pictorial history of philosophy . Philosophical Library, New York 1959, x + 406 pp. (1) Prefactory Statement to the Index Volume (1) Review: Hao Wang, Note on Rules of Inference (1) Review: J. Los, R. Suszko, Remarks on Sentential Logics (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. (1) Review: John A. Carpenter, Omar K. Moore, Charles R. Snyder, Edith S. Lisansky, Alcohol and Higher-Order Problem Solving (1) Book Review: Foundations of Logic and Mathematics (1) The Logic of Quantum Mechanics. (1) Review: Charles Hartshorne, Paul Weiss, Collected Papers of Charles Sanders Peirec (1) Review: Max Black, A Translation of Frege's Ueber Sinn und Bedeutung. Introductory Note (1) Review: Nelson Goodman, On Likeness of Meaning (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. (1) Review: Soren Hallden, Certain Problems Connected with the Definitions of Identity and of Definite Descriptions Given in Principia Mathematica (1) Review: M. Lazerowitz, Self-Contradictory Propositions (1) Review: Charles Morris, Signs, Language, and Behavior (1) Nelson Everett J.. A note on contradiction: A protest. The philosophical review , vol. 45 (1936), pp. 505–508. (1) Review: Alf Ross, Imperatives and Logic (1) Review: Benson Mates, Stoic Logic and the Text of Sextus Empiricus (1) Review: H. B. Curry, Remarks on the Definition and Nature of Mathematics (1) Review: Claude E. Shannon, Edward F. Moore, Machine Aid for Switching Circuit Design (1) Schock Rolf. Some remarks on Russell's treatment of definite descriptions. Logique et analyse , n.s. vol. 5 (1962), pp. 77–80. (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$ (1) Review: Theodore A. Kalin, Formal Logic and Switching Circuits (1) Rashevsky N.. Mathematical biophysics. Revised edition. The University of Chicago Press, Chicago 1948, xxiii + 669 pp. (1) Introduction to Mathematical Logic (PMS-13), Volume 13 (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. (1) Brentano Franz. Psychologie du point de vue empirique. Translation and preface by Gandillac Maurice de. Aubier, Editions Montaigne, Paris 1944, 461 pp. (1) Review: Lawrence M. Graves, The Theory of Functions of Real Variables (1) Review: F. Waismann, A. G. N. Flew, Language Strata (1) Review: W. V. Quine, On Existence Conditions for Elements and Classes (1) Review: John Myhill, A System Which can Define Its Own Truth (1) Berkeley Edmund Callis. Giant brains. Or machines that think. John Wiley Sons, New York; Chapman & Hall, London; 1949, xvi + 270 pp. (0) Alf Ross. Imperatives and logic. Philosophy of science , vol. 11 (1944), pp. 30–46. (0) Review: Alan Rose, A Formalization of Sobocinski's Three-Valued Implicational Propositional Calculus (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. (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 (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. (0) Review: Donald L. Webb, Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation (0) INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION (0) Review: Karl Menger, Are Variables Necessary in Calculus? (0) Review: Judith Schoenberg, Belief and Intention in the Epimenides (0) Wolf A.. Textbook of logic. Second edition revised and enlarged. George Allen & Unwin, London 1938 (reprinted 1943, 1948), 455 pp. (0) Review: E. Kamke, Frederick Bagemihl, Theory of Sets (0) Review: Waclaw Sierpinski, Hypothese du Continu (0) Review: Robert Arthur Fairthorne, A. B. Agard Evans, T. H. O'Beirne, E. M. R. Ditmas, The Mathematics of Classification (0) Review: Allen Walker Read, An Account of the Word `Semantics.' (0) Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION (0) Birkhoff Garrett. Lattice theory . Revised edition. American Mathematical Society Colloquium publications, vol. 25. American Mathematical Society, New York 1948, xiii + 283 pp. (0) Review: M. O. Gonzalez, J. D. Mancill, On the System of Natural Numbers (0) Review: Joseph T. Clark, Contemporary Science and Deductive Methodology (0) Vaidyanathaswami R.. Inaugural address. The mathematics student, vol. 6 (1938), pp. 33–42. (0) Wernick William. An enumeration of logical functions. Bulletin of the American Mathematical Society , vol. 45 (1939), pp. 885–887. (0) Review: H. A. Nielsen, Antinomy (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. (0) Review: L. E. J. Brouwer, Consciousness, Philosophy, and Mathematics (0) Review: L. Goddard, `True' and `Provable' (0) Review: M. J. Charlesworth, Analytical Philosophy (0) Review: Irving M. Copi, The Inconsistency or Redundancy of Principia Mathematica (0) Bergmann Gustav. Notes on identity. Philosophy of science , vol. 10 (1943), pp. 163–166. (0) Review: Francis C. Wade, John of St. Thomas, Outline of Formal Logic (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. (0) Review: J. C. C. McKinsey, Reducible Boolean Functions (0) Review: H. M. MacNeille, Extensions of Partially Ordered Sets (0) Review: John E. Freund, Chapter 23: Logic (0) Bradley Raymond D.. Geometry and necessary truth. The philosophical review, vol. 73 (1964), pp. 59–75. (0) Review: K. Chandrasekharan, Partially Ordered Sets and Symbolic Logic (0) Review: Gilbert Varet, Paul Kurtz, International Directory of Philosophy and Philosophers (0) Review: Peter A. Carmichael, Animadversion on the Null Class (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. (0) Review: H. R. Smart, Frege's Logic (0) Hu Sze-Tsen. Elementary functions and coordinate geometry. Markham Publishing Company, Chicago 1969, xvii + 349 pp. (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. (0) Review: Clarence Irving Lewis, Cooper Harold Langford, Symbolic Logic (0) Review: Jerrold J. Katz, The Problem of Induction and Its Solution (0) Goodman Nelson. On a pseudo-test of translation. Philosophical studies, vol. 3 (1952), pp. 81–82. (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. (0) Communications of the international union of history and philosophy of science division of logic, methodology and philosophy of science (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 (0) Review: K. Marc-Wogau, Remarks Concerning the Latest Discussion on Sense-Data (0) H. B. Smith. The algebra of propositions. Philosophy of science , vol. 3 (1936), pp. 551–578. (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. (0) Mates Benson. Elementary logic . Second edition of XXXI 483. Oxford University Press, New York 1972, xii + 237 pp. (0) Review: Norman M. Martin, On Completeness of Decision Element Sets (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. (0) Review: Paul Weiss, The Paradox of Necessary Truth (0) Baruch Germansky. (An alternative proof of a theorem of equivalence concerning axioms of natural numbers). (Riveon lematematika) , vol. 4 (1950), pp. 18–21. (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. (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 (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. (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. (0) Review: H. W. Leggett, Bertrand Russell, O. M. A Pictorial Biography (0) Review: Anatol Rapoport, What is Semantics? (0) Review: Paul Kurtz, American Philosophy in the Twentieth Century: A Sourcebook (0) Review: Martin Gardner, Logic Machines (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. (0) Review: H. B. Smith, The Algebra of Propositions (0) Review: David Rynin, A Critical Essay on Johnson's Philosophy of Language (0) Review: Trenchard More, On the Construction of Venn Diagrams (0) Review: Leonard Linsky, Sematics and the Philosophy of language (0) Review: Alan Rose, Self-Dual Primitives for Modal Logic (0) Weyl. Hermann David Hilbert and his mathematical work. Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 612–654. (0) Review: Wilfrid Sellars, Acquaintance and Description Again (0) Review: Philotheus Boehner, Ockham Philosophical Writings (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. (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. (0) Review: A. A. Markov, Teoria Algorifmov (Az Algoritmusok Elemelete (0) Review: M. Gorman, Semantics (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. (0) Review: Max Black, Frege on Functions (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. (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. (0) Review: Paul Turan, On the Work of Alan Baker; Alan Baker, Effective Methods in the Theory of Numbers (0) Mr. Weiss on the paradox of necessary truth (0) Review: A. Natucci, $2 + 2$ Fanno 4 (0) Review: Richard B. Hurley, Transistor Logic Circuits (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. (0) Rose Alan. A formalisation of the 2-valued propositional calculus with self-dual primitives. Mathematische Annalen , vol. 127 (1954), pp. 255–257. (0) Review: Stuart Carter Dodd, Dimensions of Society. A Quantitative Systematics for the Social Sciences (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. (0) Review: Henry Veatch, Basic Confusions in Current Notions of Propositional Calculi (0) Review: H. B. Smith, The Law of Transitivity (0) Czeżowski Tadeusz. On certain peculiarities of singular propositions. Mind, n.s. vol. 64 (1955), pp. 392–395. (0) Chapter IV. COMBINATIONS, GÖDEL NUMBERS (0) Review: C. I. Lewis, The Modes of Meaning (0) Review: Erik Gotlind, A Note on an Article by R. K. P. Singh and R. Shukla (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. (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. (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. (0) Review: W. Mays, D. P. Henry, Exhibition of the Work of W. Stanley Jevons (0) McKinsey J. C. C.. Reducible Boolean functions. Bulletin of the American Mathematical Society , vol. 42 (1936), pp. 263–267. (0) Review: George Kimball Plochmann, Jack B. Lawson, Terms in Their Propositional Contexts in Wittgenstein's Tractatus (0) Review: S. C. Kleene, Errata. Arithmetical Predicates and Function Quantifiers (0) Review: Robert McNaughton, Logical and Combinatorial Problems in Computer Design (0) Review: Garrett Birkhoff, Lattice Theory (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. (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. (0) Review: Robert Feys, Logistique (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. (0) Quine W. V.. Logic, symbolic. Preprinted from Encyclopedia Americana , 1957 edition, preprint pp. 569–574. (0) Review: Curt Christian, A Proof of the Inconsistency of Quine's System "Mathematical Logic (1951)." (0) Review: Friedrich Waismann, Karl Menger, Theodore J. Benac, Introduction to Mathematical Thinking. The Formation of Concepts in Modern Mathematics (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. (0) Introduction to Logic . Patrick Suppes. Van Nostrand, Princeton, N.J., 1957. xviii+312 pp. $5.50. (0) Carnap Rudolf. Notes for symbolic logic. Mimeographed, unbound. The University of Chicago Bookstore, Chicago 1937, 37 pp. (0) H. B. Smith. Modal logic—a revision. Philosophy of science , vol. 4 (1937), pp. 383–384. (0) Paul Weiss. The paradox of necessary truth, once more. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 88–89. (0) Review: David Shwayder, Some Remarks on "Synonymity" and the Language of the Semanticists (0) Review: Duane Studley, Algebra of Neural Nets (0) Review: J. Knox, Material Implication and "if...then (0) Review: Sze-Tsen Hu, Elementary Functions and Coordinate Geometry (0) Wedberg Anders. The Aristotelian theory of classes. Ajatus (Helsinki), vol. 15 (for 1948, pub. 1949), pp. 299–314. (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. (0) Review: Carl B. Allendoerfer, Cletus O. Oakley, Principles of Mathematics (0) Review: T. A. K. Kloyda, Bolzano, Bernhard (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. (0) Review: Sylvester Hartman, Are There any Extra-Syllogistic Forms of Reasoning? (0) H. A. Nielsen. 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. (0) Chandrasekharan K.. Partially ordered sets and symbolic logic. The mathematics student, vol. 12 (1944), pp. 14–24. (0) Review: Claude E. Shannon, Computers and Automata (0) Review: Einar Hille, Such Stuff as Dreams are Made on -- in Mathematics (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. (0) H. R. Smart. Frege's logic. The philosophical review , vol. 54 (1945), pp. 489–505. (0) Farinelli U. and Gamba A.. Physics and mathematical logic. Il nuovo cimento, ser. 10 vol. 1 (1955), pp. 1152–1158. (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. (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. (0) Mates Benson. Stoic logic and the text of Sextus Empiricus. American journal of philology (Baltimore), vol. 70 (1949), pp. 290–298. (0) Review: W. Mays, D. G. Prinz, A Relay Machine for the Demonstration of Symbolic Logic (0) Paul Weiss. The paradox of necessary truth. Philosophical studies , vol. 6 (1955), pp. 31–32. (0) Kamke E.. Theory of sets. Translated from the second German edition by Bagemihl Frederick. Dover Publications, New York 1950, vii + 144 pp. (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. (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. (0) Whiteman Albert. Postulates for Boolean algebra in terms of ternary rejection. Bulletin of the American Mathematical Society, vol. 43 (1937), pp. 293–298. (0) Review: Lillian R. Lieber, Hugh Gray Lieber, Mits, Wits and Logic (0) Review: Austin Duncan-Jones, Fugitive Propositions (0) Review: Ian Rawlins, Aesthetics and the Gestalt (0) Review: C. W. Churchman, T. A. Cowan, A Challenge (0) Review: Henry S. Leonard, The Logic of Existence (0) Semantics, general semantics, semiotic. New acceptations of old terms. Synthese (Bussum), vol. 7 (1948–1949), pp. 229–232. (0) III. Functional Calculi of First Order (0) Review: Baruch Germansky, An Alternative Proof of a Theorem of Equivalence Concerning Axioms of Natural Numbers (0) H. M. MacNeille. Extensions of partially ordered sets. Proceedings of the National Academy of Sciences , vol. 22 (1936), pp. 45–50. (0) Hempel C. G.. Geometry and empirical science. The American mathematical monthly, vol. 52 (1945), pp. 7–17. (0) Review: B. Meltzer, On Formally Undectdable Propositions of Principia Mathematica and Related Systems (0) Jungius Joachim. Logica Hamburgensis . Edited by Meyer Rudolf W.. Augustin J. J., Hamburg 1957, XXXIX + 673 pp. (0) Review: W. V. Quine, On Natural Deduction (0) Baruch Germansky. (Supplement to my paper “Axioms of the natural numbers”). (Riveon lematematika) , vol. 3 (1949), p. 8. (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." (0) Review: Bernard Lonergan, The Form of Inference (0) Review: Raymond D. Bradley, Geometry and Necessary Truth (0) Review: S. Korner, Entailment and the Meaning of Words (0) Tarski Alfred. The completeness of elementary algebra and geometry . Centre National de la Recherche Scientifique, Institut Blaise Pascal, Paris 1967, iv + 50 pp. (0) Review: Th. Skolem, Explanation to the Foregoing Paper of L. Kalmar (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. (0) Review: William Wernick, An Enumeration of Logical Functions (0) Review: H. B. Smith, Modal Logic--A Revision (0) Review: Yu. V. Matijasevic, Diophantine Representation of Recursively Enumerable Predicates (0) Review: Georg Cantor, Philip E. B. Jourdain, Contributions to the Founding of the Theory of Transfinite Numbers (0) Review: Alfred Tarski, The Completeness of Elementary Algebra and Geometry (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. (0) Carmichael Peter A.. Animadversion on the null class. Philosophy of science , vol. 10 (1943), pp. 90–94. (0) Review: Saunders Mac Lane, Symbolic Logic (0) Review: Garrett Birkhoff, An Extended Arithmetic; Garrett Birkhoff, Generalized Arithmetic (0) Review: S. I. Hayakawa, Semantics: 10 eventful years (0) Lasley J. W. Jr. The revolt against Aristotle. American scientist , vol. 30 (1942), pp. 275–287. (0) Review: Ivo Thomas, Some Laws of the Calculus of Quantifiers (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 (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 (0) Review: Katsumi Nakamura, The Theory of Logic--A Contribution to Scientific Logic; Katsumi Nakamura, Zum Logistischen Gestaltbegriffe (0) Parsons Charles and Kohl Herbert R.. Self-reference, truth, and provability. Mind, n.s. vol. 69 (1960), pp. 69–73. (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. (0) Review: David Crystal, Linguistics; Frank Palmer, Grammar (0) Review: P. Novikoff, Sur Quelques Theoremes D'Existence (0) C. J. Ducasse. Some observations concerning the nature of probability. The journal of philosophy , vol. 38 (1941), pp. 393–403. (0) Review: Alan Rose, A Formalization of the $C-0$ Propositional Calculus (0) Review: A. I. Melden, Thought and Its Objects (0) Review: G. H. R. Parkinson, Gottfried Wilhelm Leibniz, Leibniz, Logical papers (0) Review: G. L. Farre, Peano, Giuseppe (0) Review: Max Black, A New Method of Presentation of the Theory of the Syllogism (0) Review: G. L. Farre, Frege, Gottlob (0) Review: I. M. Bochenski, On the Categorical Syllogism (0) Review: A. G. N. Flew, Gilbert Ryle, Essays on Logic and Language (0) Review: Ernest H. Hutten, A Note on Semantics (0) Quine W. V.. On natural deduction. The journal of symbolic logic , vol. 15 (1950), pp. 93–102. See erratum, ibid., p. iv. (0) Kleene S. C.. Recursive predicates and quantifiers. Transactions of the American Mathematical Society, vol. 53 (1943), pp. 41–73. (0) Review: Susanne K. Langer, An Introduction to Symbolic Logic (0) Review: Douglas Lackey, Bertrand Russell, Essays in Analysis by Bertrand Russell (0) Russell Bertrand. Introduction to mathematical philosophy. Sixth impression. George Allen & Unwin, London 1948, xv + 208 pp. (0) Review: Gottlob Frege, L. Geymonat, Aritmetica e Logica (0) Review: Louis Osgood Kattsoff, Modality and Probability (0) Review: A. J. Ayer, Logical Positivism (0) Hutten Ernest H.. A note on semantics. Philosophy , vol. 24 (1949), pp. 381–383. (0) Bell E. T.. The development of mathematics. Second edition. McGraw-Hill Book Co., New York and London 1945, xiii + 637 pp. (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. (0) (Logistiek en wetenschapsleer) Logistic and Methodology of Science.@@@(Logica en wijsbegeerte van de wiskunde) Logic and Philosophy of Mathematics. (0) Review: A. H. Basson, Logic and Fact (0) Review: Herbert L. Searles, Logic and Scientific Methods. An Introductory Course (0) Gilbert E. N.. N-terminal switching circuits. The Bell System technical journal, vol. 30 (1951), pp. 668–688. (0) AN ANALYSIS OF THE RELATIONSHIP BETWEEN FARM MARGINS AND LAND VALUES IN THE SOUTH AFRICAN SUGAR INDUSTRY (0) I. The Propositional Calculus (0) Review: Abraham A. Fraenkel, Abstract set theory (0) Review: R. Vaidyanathaswami, Inaugural Address (0) Review: Charles Sanders Peirce, Scientific Method (0) Some Laws of the Calculus of Quantifiers (0) Review: Baruch Germansky, A New Set of Axioms Sufficient for the Development of the Theory of Natural Numbers (0) Norwood Russell Hanson. A note on the Gödel theorem. Notre Dame journal of formal logic , vol. 2 (1961), p. 228. (0) Review: Irving M. Copi (Copilowish), Modern Logic and the Synthetic a Priori (0) Review: E. T. Bell, The Development of Mathematics (0) Review: J. Billing, A Failure of the Bolzano-Weierstrass Lemma (0) Fogarasi Béla. Logik. Translated by Szemere Samuel. Aufbau-Verlag, Berlin 1955, 423 pp. (0) Review: Anders Wedberg, The Aristotelian Theory of Classes (0) Hu Sze-Tsen. Threshold logic. University of California Press, Berkeley and Los Angeles 1965, xiv + 338 pp. (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. (0) Hailperin Theodore. An incorrect theorem. The journal of symbolic logic , vol. 30 (1965), p. 27. (0) Review: Jorgen Jorgensen, Outline of the Recent Development of the Theory of Deduction (0) Menger Karl. Are variables necessary in calculus? The American mathematical monthly , vol. 56 (1949), pp. 609–620. (0) Henry S. Leonard. The logic of existence. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 49–64. (0) Review: Benson Mates, Stoic Logic (0) Vaidyanathaswamy R.. On disjunction in intuitionist logic. Proceedings of the Indian Academy of Sciences, Section A, vol. 17 (1943), pp. 41–45. (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. (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. (0) Review: C. West Churchman, F. P. Clarke, M. C. Nahm, Towards a General Logic of Propositions (0) Arthur W. Burks and Jesse B. Wright. Theory of logical nets. Proceedings of the I.R.E. , vol. 41 (1953), pp. 1357–1365. (0) Archer A.. A Venn diagram analogue computer. Nature , vol. 166 (1950), p. 829. (0) Review: Gerard Esser, Logica, in Usum Scholarum (0) Martin R. M.. On types, denotation, and truth. Methodos, vol. 3 (1951), pp. 308–316. (0) Review: G. L. Farre, Boole, George (0) Rosser Barkley. On the many-valued logics. American journal of physics, vol. 9 (1941), pp. 207–212. (0) Review: K. Chandrasekharan, The Logic of Intuitionistic Mathematics (0) Review: Albert Whiteman, Postulates for Boolean Algebra in Terms of Ternary Rejection (0) Veatch Henry. Basic confusions in current notions of propositional calculi. The Thomist, vol. 14 (1951), pp. 238–258. (0) Charles Morris. Signs, language, and behavior . George Braziller, Inc., New York1955, xii + 365 pp. (0) Barkley Rosser. The introduction of quantification into a three-valued logic . Ditto, 6 pp. (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. (0) Bar-Hillel Yehoshua. Mr. Weiss on the paradox of necessary truth. Philosophical studies, vol. 6 (1955), pp. 92–93. (0) Review: Eric Toms, The Law of Excluded Middle (0) Smiley Timothy. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic , vol. 2 (1961), pp. 149–153. (0) Review: W. L. Van Der Poel, Some Selected Topics on Switching Algebra (0) Copi Irving M. (Copilowish). Modern logic and the synthetic a priori. The journal of philosophy, vol. 46 (1949), pp. 243–245. (0) Basson A. H. and O'Connor D. J.. Introduction to symbolic logic . Second edition. University Tutorial Press Ltd., London 1957, viii + 175 pp. (0) Review: K. Baier, Contradiction and Absurdity (0) Menger Karl. Algebra of analysis . Notre Dame mathematical lectures, no. 3. Lithoprinted. University of Notre Dame, Notre Dame, Ind., 1944, 50 pp. (0) Review: J. J. C. Smart, A. G. N. Flew, Theory Construction (0) Review: J. A. Ladriere, Axiomatic System (0) Goddard L.. ‘True’ and ‘provable’. Mind , n.s. vol. 67 (1958), pp. 13–31. (0) Review: Soren Hallden, A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1 (0) Review: Richard Robinson, What is Independence? (0) Clark Joseph T.. Contemporary science and deductive methodology. Proceedings of the American Catholic Philosophical Association, vol. 26 (1952), pp. 3–40. (0) Review: Bela Fogarasi, Samuel Szemere, Logik (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. (0) Post. Emil L. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, vol. 52 (1946), pp. 264–268. (0) Review: Giuseppe Peano, Formulario Mathematico (0) Graves Lawrence M.. The theory of functions of real variables. McGraw-Hill Book Company, Inc., New York and London 1946, x + 300 pp. (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. (0) Review: Daniela Gromska, Studia Philosophica (0) Reichenbach Hans. The rise of scientific philosophy . University of California Press, Berkeley and Los Angeles 1956, xi + 333 pp. (0) Lazerowitz M.. Self-contradictory propositions. Philosophy of science, vol. 7 (1940), pp. 229–240. (0) Toms Eric. The law of excluded middle. Philosophy of science, vol. 8 (1941), pp. 33–38. (0) Frege Gottlob. Aritmetica e logica. Translation and notes by Geymonat L.. Biblioca di cultura scientifica XVIII. Giulio Einaudi, Turin 1948, 269 pp. (0) Atwell R. Turquette. Gödel and the synthetic a priori. The journal of philosophy , vol. 47 (1950), pp. 125–129. (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. (0) Review: N. Rashevsky, Mathematical Biophysics (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 (0) 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. (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 (0) Review: Henry M. Sheffer, Quantifiers (0) Kocourek R. A.. An evaluation of symbolic logic. Proceedings of The American Catholic Philosophical Association , vol. 22 (pub. 1948), pp. 95–104. (0) Review: Jan Lukasiewicz, Logistic and Philosophy (0) Review: Baruch Germansky, Problem (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. (0) Review: Douglas R. Hartree, Calculating Instruments and Machines (0) Review: Inocenty M. Bochenski, The Condition and the Needs of the History of Formal Logic (0) Review: Theodore Hailperin, An Incorrect Theorem (0) Chapter II. LAMBDA-CONVERSION (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. (0) Review: Sze-Tsen Hu, Threshold Logic (0) Lieber Lillian R.. Mits, Wits and logic. Drawings by Lieber Hugh Gray. W. W. Norton & Company, Inc., New York 1947, 240 pp. (0) Review: Harry A. Nielsen, Language as Existent (0) M. H. Stone. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society , vol. 40 (1936), pp. 37–111. (0) Review: E. R. Kiely, Mathematics, History of (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. (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. (0) Mays W. and Prinz D. G.. A relay machine for the demonstration of symbolic logic. Nature, vol. 165 (1950), pp. 197–198. (0) Review: E. W. Beth, Decision Problems of Logic and Mathematics (0) A generalization of Laplace's transformation (0) Winthrop Henry. Metalypsis and paradox in the concept of metalanguage. The philosophical review , vol. 54 (1945), pp. 607–610. (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. (0) Carnap Rudolf. Logische Syntax der Sprache. Second edition of 35212. Springer-Verlag, Vienna and New York 1968, XI + 274 pp. (0) Review: Clifford G. Kossel, The Problem of Relation in Some Non-Scholastic Philosophies (0) Heyting A.. De onlwikkeling van de intuitionistische wiskunde (The development of intuitionistic mathematics). Euclides, vol. 13 (1936–1937), pp. 129–144. (0) Review: Charles Parsons, Herbert R. Kohl, Self-Reference, Truth, and Provability (0) Review: B. Bykhovsky, Anatol Rapoport, S. I. Hayakawa, The Morass of Modern Bourgeois Philosophy (0) Review: A. Wolf, Textbook of Logic (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. (0) Review: I. Thomas, Logic, History of (0) Review: Robert Serrell, Elements of Boolean Algebra for the Study of Information-Handling Systems (0) Review: Paul Dubreil, Algebre. Tome I. Equivalences, Operations, Groupes, Anneaux, Corps (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. (0) Review: Charles Morris, Signification and Significance. A Study of the Relation of Signs and Values (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. (0) Review: Hans G. Herzberger, Janet A. Emig, James T. Fleming, Helen M. Popp, The Logical Consistency of Language (0) Esser Gerard. Logica, in usum scholarum . The Mission Press, Techny, Ill., 1942, xv + 247 pp. (0) Review: John D. Goodell, Notes on Decision Element Systems using Various Practical Techniques (0) Review: Crispin Kim-Bradley, Symbolic Logic and Metamathematics (0) Review: Norwood Russell Hanson, The Godel Theorem. An Informal Exposition (0) Review: G. E. M. Anscombe, Before and After (0) Storer Thomas. MINIAC: World's smallest electronic brain. Analysis (Oxford), vol. 22 (1962), pp. 151–152. (0) Review: Louis de Raeymaeker, Harry McNeill, Introduction to Philosophy (0) Review: , Semantics, General Semantics, Semiotic. New Acceptations of Old Terms (0) Review: Thoralf Skolem, On the Proofs of Independence of the Axioms of the Classical Sentential Calculus (0) Review: Hao Wang, A Proof of Independence (0) Johnston L. S.. Another form of the Russell paradox. The American mathematical monthly , vol. 47 (1940), p. 474. (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. (0) Review: C. Kim-Bradley, Astounding Science Fiction (0) Gonzalez M. O. and Mancill J. D.. Remarks on natural numbers. The American mathematical monthly, vol. 58 (1951), pp. 186–188. (0) Review: W. A. Wallace, Logic, Symbolic (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. (0) R. A. Rosenbaum. Remark on equivalence relations. The American mathematical monthly , vol. 62 (1955), p. 650. (0) Review: William Keister, Alistair E. Ritchie, Seth H. Washburn, John Meszar, The Design of Switching Circuits (0) Review: Everett J. Nelson, A Note on Contradiction (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. (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. (0) Review: S. Pankajam, On Euler's $\phi$-Function and its Extensions (0) Lonergan Bernard. The form of inference. Thought, vol. 18 (1943), pp. 277–292. (0) Review: Solomon Hoberman, J. C. C. McKinsey, A Set of Postulates for Boolean Algebra (0) Review: Dagobert D. Runes, Classics in Logic (0) Review: A. A. Markov, On the Representation of Recursive Functions (0) Robinson Richard. What is independence?. The philosophical review, vol. 49 (1940), pp. 355–356. (0) Review: Hans Reichenbach, The Rise of Scientific Philosophy (0) Leggett H. W.. Bertrand Russell, O. M. A pictorial biography . Philosophical Library, New York 1950, 79 pp. (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. (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. (0) Gentzen Gerhard. Die Widers pruchsfreiheilder Stufenlogik. Mathematische Zeitschrift , vol. 41 (1936), pp. 357–366. (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. (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. (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. (0) Review: Abraham Adolf Fraenkel, Diskrete und Kontinuierliche Gebilde (0) Review: Gerhard Gentzen, Die Widerspruchsfreiheit der Stufenlogik (0) Review: A. Heyting, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie (0) Locher L.. Die Finsler'schen Arbeiten zur Grundlegung der Mathematik. Commentarii mathematici Helvetici , vol. 10 (1937–1938), pp. 206–207. (0) Lorenzen Paul. Die Allgemeingültigkeit der logischen Regeln. Studium generale, vol. 6 (1953), pp. 605–609. (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. (0) Das Turacin, ein kupferhaltiger thierischer Farbstoff (0) Review: Wilhelm Ackermann, Konstruktiver Aufbau Eines Abschnitts der Zweiten Cantorschen Zahlenklasse (0) Review: F. L. Bauer, Zur Algebraik des Logikkalkuls (0) Book Review: Die Grundlagen der Geometrie, ihre Bedeutung für Philosophie, Mathematik, Physik und Technik (0) Review: Philotheus Boehner, Bemerkungen zur Geschichte der De Morgansche Gesetze in der Scholastik (0) Schwenkel Frieder. Rekursive Wortfunktionen über unendlichen Alphabeten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 11 (1965), pp. 133–147. (0) Review: Rosza Peter, Zum Beitrag von F. Schwenkel "Rekursive Wortfunktionen uber Unendlichen Alphabeten."; F. Schwenkel, Entgegnung (0) Chapter III. LAMBDA-DEFINABILITY (0) Review: Hansi Piesch, Archiv fur Elektrotechnik (0) Review: Katsumi Nakamura, Zum Logischen Funktionsbegriffe des Wiener Kreises (0) Review: Curt Christian, Zwei Theoreme Uber Die Einerklasse (0) Martin Gottfried. Über ein zweiwertiges Modell einer vierwertigen Logik. Methodos , vol. 1 (1949), pp. 386–389. (0) Review: P. Finsler, Das Kontinuumproblem (0) Review: Hugo Dingler, Die Grundlagen der Geometrie, ihre Bedeutung für Philosophie, Mathematik, Physik und Technik (0) Review: Victor Kraft, Die Moderne und die Traditionelle Logik (0) Review: Karl Durr, Die Logistik Johann Heinrich Lamberts (0) Review: D. A. Bochvar, Uber Einen Aussagenkalkul mit Abzahlbaren Logischen Summen und Produkten (0) Review: M. Strauss, Zur Begrundung der Statistischen Transformationstheorie der Quantenphysik (0) Review: Heinz Zemanek, Automaten und Denkprozesse (0) Review: G. Hasenjaeger, Ein Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der ersten Stufe (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. (0) Review: Gottfried Martin, Uber ein Zweiwertiges Modell einer Vierwertigen Logik (0) Review: Paul Lorenzen, Die Allgemeingultigkeit der Logischen Regeln (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. (0) Ackermann Wilhelm. Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Malhematische Zeitschrift , vol. 53 (1950–1951), pp. 403–413. (0) Review: L. Locher, Die Finsler'schen Arbeiten zur Grundlegung der Mathematik (0) Abraham Adolf Fraenkel. Diskrete und kontinuierliche Gebilde. Zeitschrift für freie deutsche Forschung (Paris), vol. 2 (1939), pp. 1–14. (0) Review: Arnold Schmidt, Mathematische Grundlagenforschung (0) Book Review: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie (0) Saarnio Uuno. Über die Konverse der Relation. Ajatus (Helsinki), vol. 15 (for 1948, pub. 1949), pp. 167–176. (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. (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. (0) Review: Herbert Meschkowski, Wandlungen des Mathematischen Denkens. Eine Einfuhrung in die Grundlagenprobleme der Mathematik (0) Review: Hugo Fischer, Zum Problem der Ubertragung Mathetischer Prinzipien: Die "Allgemeine Semantik." Eine Nichtaristotelische Wertungslehre Alfred Korzybskis (0) Review: Uuno Saarnio, Uber die Konverse der Relation (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. (0) Mokre Johann. Zu den logischen Paradoxien. Meinong-Gedenkschrift , Schriften der Universität Graz, Vol. I, “Styria” Steirische Verlagsanstalt, Graz 1952, pp. 81–89. (0) Strauss M.. Zur Begründung der statistischen Transformationstheorie der Quantenphysik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 1936, pp. 382–398. (0) Review: Karl Durr, Die Mathematische Logik des Arnold Geulincx (0) Review: D. Hilbert, W. Ackermann, Grundzuge der Theoretischen Logik (0) Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems (0) Finsler P.. Das Kontinuumproblem. Elemente der Mathematik (Basel), vol. 5 (1950), pp. 63–65. (0) Review: Victor Kraft, The Vienna Circle. The Origin of Neo-Positivism. A Chapter in the History of Recent Philosophy (0) Review: H. Wendelin, Ein Kriterium fur die Erweiterbarkeit einer Implikation zu Einer Aquivalenz (0) Review: E. N. Gilbert, N-Terminal Switching Circuits (0) Quine Willard Van Orman. Mathematical logic. Second printing. Harvard University Press, Cambridge, Mass., 1947, xi + 340 pp. (0) Review: E. T. Bell, Men of Mathematics (0) Review: Joseph Breuer, Howard Franklin Fehr, Introduction to the Theory of Sets (0) Review: Brand Blanshard, The Escape from Philosophic Futility (0) Review: Nelson Goodman, On a Pseudo-Test of Translation (0) Searles Herbert L.. Logic and scientific methods. An introductory course. Second edition. The Ronald Press Company, New York 1956, viii + 378 pp. (0) Venn John. Symbolic logic . Second edition, revised and rewritten. Chelsea Publishing Company, Bronx, N.Y., 1971, xxxviii + 540 pp. (0) Review: Akira Nakasima, Masao Hanzawa, Nippon Electrical Communication Engineering (0) Review: Joseph Ullian, Bernard Baumrin, Mathematical Objects; Joseph S. Ullian, Is any Set Theory True? (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. (0) Review: William G. Leavitt, Boolean Algebra and Circuit Analysis (0) Review: Gerard P. Minogue, The Three Fundamental Laws of Thought in Their Metaphysical and Logical Aspects (0) Review: Alfred Tarski, Olaf Helmer, Introduction to Logic and to the Methodology of Deductive Sciences (0) Review: Richard von Mises, Scientific Conception of World. On a New Textbook of Positivism (0) Review: Harold R. Smart, The Alleged Predicament of Logic (0) Reviews. Louis De Raeymaeker. Introduction à la philosophie Editions de l'Institut Supérieur de Philosophie, Louvain 1938. Second edition, ibid. 1944, 272 pp. (0) Review: R. Vaidyanathaswamy, On Disjunction in Intuitionist Logic (0) Review: Ernest Nagel, Sovereign Reason (0) Rose Alan. A formalization of the C-0 propositional calculus. Proceedings of the Cambridge Philosophical Society, vol. 47 (1951), pp. 635–636. (0) Review: Howard F. Fehr, Meaning in Algebra (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. (0) Review: Evert Beth, Mathematics, Logic, and Philosophy of Science at the Congres-Descartes (0) Review: Barkley Rosser, On the Many-Valued Logics (0) Review: Shoji Maehara, Logic in Japan (0) Hurley Richard B.. Transistor logic circuits. John Wiley & Sons, Inc., New York and London 1961, xvi + 363 pp. (0) IV. The Pure Functional Calculus of First Order (0) Post Emil L.. Formal reductions of the general combinatorial decision problem. American journal of mathematics, vol. 65 (1943), pp. 197–215. (0) Mays W. and Henry D. P.. Exhibition of the work of W. Stanley Jevons. Nature , vol. 170 (1952), pp. 696–697. (0) Review: , The Three Basic Directions in the Foundations of Mathematics (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. (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. (0) Black Max. Frege on functions. Problems of analysis, Philosophical essays , by Black Max, Cornell University Press, Ithaca 1954, pp. 229–254, 297–298. (0) Review: A. Dumitriu, The Antinomy of the Theory of Types (0) Review: E. W. Beth, Logic and Foundations-Research 1940-1945 (0) To the editor or "mind" (0) Review: Arthur W. Burks, Jesse B. Wright, Theory of Logical Nets (0) Review: Leonard Linsky, On Using Inverted Commas (0) Introductory Note.Incomplete Symbols: Descriptions (0) CORRECTION AND ADDITIONS (0) Review: Louis De Raeymaeker, Introduction a la Philosophie; L. De Raeymaeker, Inleiding tot de Wijsbegeerte (0) Review: J. J. C. Smart, Whitehead and Russell's Theory of Types (0) Review: Ludwig Wittgenstein, Tractatus Logico-Philosophicus (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. (0) Review: Tadeusz Czezowski, On Certain Peculiarities of Singular Propositions (0) Review: C. G. Hempel, Geometry and Empirical Science; Morris R. Cohen, Ernest Nagel, An Introduction to Logic and Scientific Method (0) Moore Omar K. and Lewis Donald J.. Learning theory and culture. Psychological review, vol. 59 (1952), pp. 380–388. (0) Review: Ivo Thomas, Saint Vincent Ferrer's De Suppositionibus (0) Introduction to Logic . Patrick Suppes. Van Nostrand, Princeton, N.J., 1957. xviii+312 pp. $5.50. (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. (0) Brumbaugh Robert S.. An Aristotelian defense of “non-Aristotelian” logics. The journal of philosophy, vol. 48 (1951), pp. 582–585. (0) Review: Edward V. Huntington, Postulates for Assertion, Conjunction, Negation, and Equality (0) Review: William C. Schutz, FIRO, A Three-Dimensional Theory of Interpersonal Behavior (0) Basson A. H. and O'Connor D. J.. Introduction to symbolic logic . Third edition. The Free Press, Glencoe, III., 1960, viii + 175 pp. (0) Review: Dagobert D. Runes, Pictorial History of Philosophy (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 (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. (0) Review: Janos Suranyi, Contributions to the Reduction Theory of the Decision Problem. Fifth Paper. Ackermann Prefix with Three Universal Quantifiers (0) Review: Ivo Thomas, The Rule of Excision in Positive Implication (0) Review: A. Heyting, The Development of Intuitionistic Mathematics (0) Katz Jerrold J.. The problem of induction and its solution. The University of Chicago Press, Chicago 1962, xiii + 125 pp. (0) Review: B. A. Bernstein, Postulate-sets for Boolean Rings (0) Review: Andrew H. Bachhuber, Introduction to Logic (0) Bauer F. L.. Zur Algebraik des Logikkalküls. Methodos, vol. 1 (1949), pp. 288–292. (0) Review: R. M. Martin, On Types, Denotation, and Truth (0) Barker C. C. H.. Some calculations in logic. The mathematical gazette, vol. 41 (1957), pp. 108–111. (0) Review: Dan Pedoe, Griselda El Tayeb, The Gentle Art of Mathematics (0) Handy Rollo and Kurtz Paul. A current appraisal of the behavioral sciences. Behavioral Research Council, Great Barrington, Mass., 1964, ii + 154 pp. (0) Review: Evert Beth, The Paradoxes (0) Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 544–546. (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. (0) Review: Garrett Birkhoff, Theorie et Applications des Treillis (0) Review: P. R. Halmos, The Foundations of Probability (0) Nielsen Harry A.. Language as existent. Notre Dame journal of formal logic, vol. 2 (1961), pp. 244–250. (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. (0) Review: Gr. C. Moisil, Les Etats Transitoires dans les Circuits Sequentiels (0) Anscombe G. E. M.. Before and after. The philosophical review , vol. 73 (1964), pp. 3–24. (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. (0) Claude E. Shannon, Computers and automata. Proceedings of the I.R.E. , vol. 41 (1953), pp. 1234–1241. (0) Review: Henry Winthrop, Metalypsis and Paradox in the Concept of Metalanguage (0) Wellmuth John J.. Some comments on the nature of mathematical logic. The new scholasticism, vol. 16 (1942), pp. 9–15. (0) Bochenski I. M.. On the categorical syllogism. Dominican studies (Oxford), vol. 1 (1948), pp. 35–57. (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. (0) Review: Ivo Thomas, Logic and Theology (0) Hans G. Herzberger. The truth-conditional consistency of natural languages. The journal of philosophy , vol. 64 (1967), pp. 29–35. (0) Review: Baruch Germansky, Supplement to my Paper "Axioms of the Natural Numbers" (0) Review: B. A. Trakhtenbrot, Algorithms and Automatic Computing Machines (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. (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 (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. (0) Weinberg Julius. A possible solution of the heterological paradox. The philosophical review, vol. 46 (1937), pp. 657–659. (0) Review: Rollo Handy, Paul Kurtz, A Current Appraisal of the Behavioral Sciences (0) Smith H. B.. The law of transitivity. Philosophy of science, vol. 3 (1936), p. 123. (0) Review: Aleksandr Sergeyevich Yesenin-Volpin, Svobodny filosofskij traktat: A Free Philosophical Treatise (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. (0) Review: Joachim Jungius, Rudolf W. Meyer, Logica Hamburgensis (0) Ayer Alfred Jules. Language, truth and logic. Second edition (revised and re-set). Victor Gollancz, London 1946 (third impression 1948) ; 160 pp. (0) Review: Alan Rose, A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives (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. (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. (0) Review: Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Realism as a Philosophy of Mathematics (0) On Equivalence Relations. (0) Hanson Norwood Russell. The Gödel theorem. An informal exposition. Notre Dame journal of formal logic, vol. 2 (1961), pp. 94–110. (0) Review: H. Poincare, Science and Hypothesis; Henri Poincare, Science and Method (0) Review: Boleslaw Sobocinski, An Investigation of Protothetic (0) Review: A. D. Ritchie, A Defence of Aristotle's Logic (0) Thomas Ivo. The rule of excision in positive implication. Notre Dame journal of formal logic , vol. 3 (1962), p. 64. (0) Review: Ernest Nagel, James R. Newman, Godel's Proof (0) Review: Hermann Weyl, David Hilbert and His Mathematical Work (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. (0) Review: Omar K. Moore, Donald J. Lewis, Learning Theory and Culture (0) Kattsoff Louis Osgood. Modality and probability. The philosophical review, vol. 46 (1937), pp. 78–85. (0) Ruja Harry. Good logics and bad. The philosophical review, vol. 49 (1940), pp. 346–355. (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. (0) Birkhoff Garrett and Neumann John von. The logic of quantum mechanics. Annals of mathematics , 2 s. vol. 37 (1936), pp. 823–843. (0) Mates Benson. Elementary lope . Second edition of XXXI 483. Oxford University Press, New York 1972, xii + 237 pp. (0) Dilworth R. P.. Lattices with unique complements. Transactions of the American Mathematical Society , vol. 57 (1945), pp. 123–154. (0) II. The Propositional Calculus (Continued) (0) Review: W. V. Quine, Jean van Heijenoort, Introductory Note; Alfred North Whitehead, Bertrand Russell, Incomplete Symbols: Descriptions (0) Review: David Perlman, A Milestone in Math--Professor's New Concept (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 (0) Review: H. A. Nielsen, Linguistic Analysis (0) Review: Garrett Birkhoff, Saunders MacLane, Algebra of Classes (0) Dodd Stuart Carter. Dimensions of society. A quantitative systematics for the social sciences. The Macmillan Company, New York 1942, ix + 944 pp. (0) Review: Lewis Carroll, Edmund C. Berkeley, Symbolic Logic and The Game of Logic (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. (0) Review: Franz Brentano, Psychologie du Point de vue Empirique (0) Review: L. Susan Stebbing, Encyclopaedia Britannica (0) Chapter I. INTRODUCTORY (0) Review: W. V. Quine, Logic, Symbolic (0) Review: W. T. Guy, On Equivalence Relations (0) Review: James W. Stakelum, Galen and the Logic of Propositions (0) Mac Lane Saunders. Symbolic logic. The American mathematical monthly, vol. 46 (1939), pp. 289–296. (0) Review: Robert Feys, Une Theorie Formalisee Demontree sans Symboles (0) Quine W. V.. On existence conditions for elements and classes. The journal of symbolic logic, vol. 7 (1942), pp. 157–159. (0) Review: L. S. Johnston, Another Form of the Russell Paradox (0) Bell E. T.. Men of mathematics. Simon and Schuster, New York 1937, xxi + 592 pp. (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' (0) Gonzalez M. O. and Mancill J. D.. On the system of natural numbers. The American mathematical monthly , vol. 57 (1950), pp. 104–112. (0) Review: Dal Charles Gerneth, Generalization of Menger's Result on the Structure of Logical Formulas (0) Thomas Ivo. Some laws of the calculus of quantifiers. Dominican studies (Oxford), vol. 2 (1949), p. 285. (0) Review: Hans G. Herzberger, The Truth-Conditional Consistency of Natural Languages (0) Sellars Wilfrid. Acquaintance and description again. The journal of philosophy, vol. 46 (1949), pp. 496–504. (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. (0) Review: Ivo Thomas, CS(n): An Extension of CS (0) Review: Thomas Storer, MINIAC: World's Smallest Electronic Brain (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. (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 (0) Alan Rose. Self-dual primitives for modal logic. Mathematische Annalen , vol. 125 (1952–1953), pp. 284–286. (0) Baruch Germansky. (Problem). Riveon lematematika , vol. 6 (1952–1953), p. 79. (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. (0) Review: Norwood Russell Hanson, A Note on the Godel Theorem (0) Review: Frank Restle, Psychology of Judgment and Choice: A Theoretical Essay (0) Ayer Alfred J.. The foundations of empirical knowledge. Macmillan & Co., London 1940; The Macmillan Company, New York 1940; x + 276 pp. (0) Review: R. A. Rosenbaum, Remark on Equivalence Relations (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. (0) Review: Norman M. Martin, Note on the Completeness of Decision Element Sets (0) Review: J. W. Lasley, The Revolt Against Aristotle (0) Review: Edmundo Curvelo, Introducao a Logica (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. (0) Review: Rudolf Carnap, Notes for Symbolic Logic (0) Review: Frederic B. Fitch, Charles A. Baylis, On God and Immortality (0) Mates Benson. Stoic logic . University of California Press, Berkeley and Los Angeles 1961, vii + 148 pp. (0) Review: John J. Wellmuth, Some Comments on the Nature of Mathematical Logic (0) Review: P. T. Geach, Designation and Truth (0) Basson A. H. and O'Connor D. J.. Introduction to symbolic logic . University Tutorial Press Ltd., London 1953, viii + 169 pp. (0) Review: G. L. Farre, De Morgan, Augustus (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. (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. (0) Review: A. Heyting, Intuitionism in Mathematics (0) Review: Ellis Evans, On the Language of Converse Relations (0) Review: John Venn, Symbolic Logic (0) Review: A. H. Basson, D. J. O'Connor, Introduction to Symbolic Logic (0) Langer Susanne K.. An introduction to symbolic logic . Second edition (revised). Dover Publications, New York 1953, 367 pp. (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. (0) Review: U. Farinelli, A. Gamba, Physics and Mathematical Logic (0) Review: Seweryna Luszczewska-Romahnowa, An Analysis and Generalization of Venn's Diagrammatic Decision Procedure (0) Lewis Clarence Irving and Langford Cooper Harold. Symbolic logic . Dover Publications, Inc., New York 1951, 7 pp. + pp. 3–506. (0) Review: C. C. H. Barker, Some Calculations in Logic (0) Review: B. F. McGuinness, Russell, Bertrand, Philosophy of (0) Review: Luitgard Wundheiler, Alex Wundheiler, William N. Locke, A. Donald Booth, Some Logical Concepts for Syntax (0) Review: A. Archer, A Venn Diagram Analogue Computer (0) A. D. Ritchie. A defence of Aristotle's logic. Mind , n.s. vol. 55 (1946), pp. 256–262. (0) Review: Erik Gotlind, A Note on Chwistek and Hetper's Foundation of Formal Metamathematics (0) Review: Robert Edouard Moritz, On Mathematics and Mathematicians (0) Max Black. A new method of presentation of the theory of the syllogism. The journal of philosophy , vol. 42 (1945), pp. 449–455. (0) Review: Peter A. Carmichael, The Null Class Nullified (0) Bell E. T.. The development of mathematics . McGraw-Hill Book Co., New York and London 1940, xiii + 583 pp. (0) Review: R. P. Dilworth, Lattices with Unique Complements (0) Review: M. H. A. Newman, The Calculus of Sets (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. (0) Index of Definitions (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. (0) The Algebra of Propositions. (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. (0) Review: F. S. C. Northrop, The Neurological and Behavioristic Psychological Basis of the Ordering of Society by Means of Ideas (0) More Papers 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:
Alonzo Church's AcademicInfluence.com Rankings