J. Symbolic Logic, Tome 1 (1936)

Project Euclid

Review: S. C. Kleene, A note on recursive functions

Project Euclid

Review: Gerhard Gentzen, Die Widerspruchsfreiheit der Stufenlogik

Project Euclid

Review: Marcel Barzin, Note sur la demonstration de M. E. W. Beth

Project Euclid

Review: E. W. Beth, Demonstration d'un theoreme concernant le principe du tiers exclu

Project Euclid

Review: Jan Lukasiewicz, Logistic and Philosophy

Project Euclid

Review: S. Pankajam, On Euler's $\phi$-Function and its Extensions

Project Euclid

Review: Everett J. Nelson, A Note on Contradiction

Project Euclid

Review: Max Black, The Claims of Intuitionism

Ambrose, Alice

Project Euclid

Review: Jacques Picard, Syllogisme Categorique et Syllogisme Hypothetique (Suite et fin)

Langer, S. K.

Project Euclid

Review: A. Tarski, Uber die Erweiterungen der unvollstrandigen Systemd des Assagenkalkuls

Project Euclid

Review: Kurt Godel, Uber die Lange von Bewisen

Project Euclid

Review: T. Hirano, Die kontradiktorische Logik

Project Euclid

Review: H. B. Curry, A Mathematical Treatment of the Rules of the Syllogism

Project Euclid

Review: B. Juhos, Negationsformen Empirischer Satze

Project Euclid

Review: Heinrich Scholz, Die Klassische und die Moderne Logik

Project Euclid

Review: Thoralf Skolem, Ein Satz uber die Erfullbarkeit von einigen Zahlausdrucken der Form $(x) (Ey_1,\cdots, y_n)K_1(x, y_1, \cdots, y_n)$ & $(x_1, x_2, x_3) K_2(x_1, x_2, x_3).$

Project Euclid

Institutional Contributing Subscribers

Project Euclid

Further Citations

Project Euclid

Review: Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie

Project Euclid

Review: Alonzo Church, A Note on the Entscheidungs Problem

Project Euclid

Review: H. M. MacNeille, Extensions of Partially Ordered Sets

Project Euclid

Review: W. V. Quine, A Theory of Classes Presupposing no Canons of Type

Project Euclid

Review: J. C. C. McKinsey, Reducible Boolean Functions

Project Euclid

Review: Roger W. Holmes, Classical and Relational Logic

Baylis, Charles A.

Project Euclid

Review: B. A. Bernstein, Postulates for Boolean Algebra Involving the Operation of Complete Disjunction

Project Euclid

Review: Barkley Rosser, Constructibility as a Criterion for Existence

Project Euclid

Review: Charles A. Baylis, Are Some Propositions Neither True nor False?

Project Euclid

Review: Daniel J. Bronstein, The Meaning of Implication

Project Euclid

Review: H. B. Curry, First Properties of Functionality in Combinatory Logic

Kleene, S. C.

Project Euclid

Review: Gr. C. Moisil, Recherches sur l'algebre de la logique

Birkhoff, Garrett

Project Euclid

Addendum to the Article Implication and Deducibility

Emch, Arnold F.

Project Euclid

Review: L. O. Kattsoff, Postulational Methods. II

Project Euclid

Review: H. B. Smith, The Law of Transitivity

Project Euclid

Review: W. V. Quine, Truth by Convention

Project Euclid

Review: W. V. Quine, Concepts of Negative Degree

Project Euclid

Review: Donald L. Webb, Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation

Project Euclid

Toward a Calculus of Concepts

p. 2-25

Project Euclid

Implication and Deducibility

Emch, Arnold F.

p. 26-35

Project Euclid

Constructibility as a Criterion for Existence

p. 36-39

Project Euclid

A Note on the Entscheidungsproblem

p. 40-41

Project Euclid

Review: W. V. Quine, A Reinterpretation of Schonfinkel's Logical Operators

Review: G. Mannoury, Review of Saarnio's Untersuchungen zur Symbolischen Logik I, Kritik des Nominalismus und Grundlegung der Logistischen Zeichentheorie (Symbologie); Albert Lautman, Le Congres International de Philosophie (du 15 au 23 septembre 1935); Wilhelm Ackermann, Beitrage zum Entscheidungsproblem der mathematischen Logik

p. 42-43

Project Euclid

p. 43-44

Project Euclid

Set-Theoretic Foundations for Logic

p. 45-57

Project Euclid

Abstracts of Papers

p. 59-62

Project Euclid

Review: Jacques Picard, Syllogisme categorique et syllogisme hypothetique (premier article)

Langer, S. K.

p. 63-64

Project Euclid

Review: J. C. C. McKinsey, On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions

p. 64-65

Project Euclid

Review: Ch. Perelman, Les Paradoxes de la Logique

p. 65-66

Project Euclid

Review: Arnold F. Emch, Consistency and Independence in Postulational Technique

Nelson, Everett J.

p. 66-67

Project Euclid

Review: Arnold F. Emch, Implication and Deducibility

Nelson, Everett J.

p. 67-68

Project Euclid

Review: Morris Lazerowitz, Necessary and Contingent Truths

Baylis, Charles A.

p. 68-69

Project Euclid

Review: Karl Britton, Epistemological Remarks on the Propositional Calculus

Langer, S. K.

p. 69-70

Project Euclid

Review: Edward V. Huntington, Mathematical Postulates for the Logical Operations of Assertion, Conjunction, Negation and Equality

Kleene, S. C.

p. 70-71

Project Euclid

Review: Alfred Tarski, Grundzuge des Systemenkalkuls. Zweiter Teil

p. 71-72

Project Euclid

Review: Bertrand Russell, On Order in Time

p. 72-73

Project Euclid

Review: Alonzo Church, An Unsolvable Problem of Elementary Number Theory

p. 73-74

Project Euclid

Review: Alonzo Church, J. B. Rosser, Some Properties of Conversion

p. 74-75

Project Euclid

Review: M. Wajsberg, Untersuchung uber Unabhangigkeitsbeweise nach der Matrizenmethode

Bennett, Albert A.

p. 75-76

Project Euclid

Emch's Calculus and Strict Implication

Lewis, C. I.

p. 77-86

Project Euclid

Extensions of Some Theorems of Godel and Church

p. 87-91

Project Euclid

A System of Formal Logic Without an Analogue to the Curry $W$ Operator

Fitch, Frederic Brenton

p. 92-100

Project Euclid

Correction to a Note on the Entscheidungsproblem

p. 101-102

Project Euclid

Finite Combinatory Processes-Formulation 1

Post, Emil L.

p. 103-105

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

Ducasse, C. J.

p. 106-109

Project Euclid

Review: W. V. Quine, Toward a Calculus of Concepts

Henle, Paul

p. 111-112

Project Euclid

Review: David Garcia Baca, Introduction a la Logica Moderna

p. 112-113

Project Euclid

Review: A. P. Ushenko, The Theory of logic

Baylis, Charles A.

p. 113-114

Project Euclid

Review: Harry Ruja, The Logic of Logical Positivism

p. 114-115

Project Euclid

Review: A. Lindenbaum, A. Tarski, Uber die Beschranktheit der Ausdrucksmittel deduktiver Theorien

p. 115-116

Project Euclid

Review: W. V. Quine, Definition of Substitution

p. 116-117

Project Euclid

Review: M. H. Stone, The theory of Representations for Boolean Algebras

p. 118-119

Project Euclid

Further Citations

p. 119-120

Project Euclid

[Explanation of Bibliography]

p. 121-123

Project Euclid

[A Bibliography of Symbolic Logic: Items 1 (Leibniz)-122 (Huntington)]

p. 123-155

Project Euclid

[A Bibliography of Symbolic Logic: Items 123 (Bocher)-270 (Lenzen)]

p. 155-183

Project Euclid

[A Bibliography of Symbolic Logic: Items 271 (Mursell)-547 (Barzin)]

p. 183-216

Project Euclid

Index of Authors