The Calculus of Individuals and Its Uses

Henry S. Leonard and Nelson Goodman; 45-55

• View Abstract

A Formulation of the Simple Theory of Types

Alonzo Church; 56-68

• View Abstract

Review: I. Zegalkin, I. Gegalkine, K Probleme Razresimosti (Sur l'Entscheidungsproblem)

P. Lagerstrom; 69

• View Abstract

Review: P. Novikoff, Sur Quelques Theoremes D'Existence

Alonzo Church; 69-70

• View Abstract

Review: Laszlo Kalmar, On the Possibility of Definition by Recursion

S. C. Kleene; 70

• View Abstract

Review: Rozsa Peter, Contribution to Recursive Number Theory

S. C. Kleene; 70-71

• View Abstract

Review: Alessandro Padoa, Automatismo Deduttivo

Albert A. Bennett; 71

• View Abstract

Review: Alpinolo Natucci, Saggio di Una Classifica Dei Metodi Usati Nell'Aritmetica Generale

Albert A. Bennett; 71

• View Abstract

Review: Alonzo Church, Schroder's Anticipation of the Simple Theory of Types

W. V. Quine; 71

• View Abstract

Review: Alonzo Church, On the Concept of a Random Sequence

Arthur H. Copeland; 71-72

• View Abstract

Review: M. Strauss, Formal Problems of Probability Theory in the Light of Quantum Mechanics

Evert Beth; 72-73

• View Abstract

Review: A. Heyting, Intuitionistic Mathematics

Evert Beth; 73-74

• View Abstract

Review: P. W. Bridgman, Science: Public or Private?

A. Wedberg; 74

• View Abstract

Review: Bruce Waters, Particulars, Universals and Verification

A. Wedberg; 74

• View Abstract

Review: Karl H. Niebyl, Modern Mathematics and Some Problems of Quantity, Quality, and Motion in Economic Analysis

Ernest Nagel; 74

• View Abstract

Review: Hugh J. Tallon, Russell's Doctrine of the Logical Proposition

A. Wedberg; 74

• View Abstract

Review: C. D. Hardie, The Necessity of a Priori Propositions

C. H. Langford; 74-75

• View Abstract

Review: J. R. Kantor, Postulates for a Logic of Specificity

J. Kraft; 75

• View Abstract

Review: Wladyslaw Hetper, Problem of Completeness of the System of Elementary Semantics

Helen Brodie; 75-76

• View Abstract

Review: Wladyslaw Hetper, Proof of Consistency of the System of Elementary Semantics Without Induction

Helen Brodie; 76

• View Abstract

Review: Zygmunt Zawirski, Donioslosc Badan Logicznych i Semantycznych dla Teorii Fizyki wspolczesnej (Importance des Recherches Logiques et Semantiques pour les Theories de la Physique Contemporaine)

Helen Brodie; 76-77

• View Abstract

Review: Andrzej Krzesinski, The Relation of Logistic to Philosophy

Helen Brodie; 77

• View Abstract

Review: F. Gonseth, Philosophie Mathematique

Saunders MacLane; 77-78

• View Abstract

Review: Alonzo Church, The Present Situation in the Foundation of Mathematics

Saunders MacLane; 78

• View Abstract

Review: Arend Heyting, Les Fondements des Mathematiques du Point de vue Intuitionniste

Saunders MacLane; 78

• View Abstract

Review: Wilhelm Ackermann, Bemerkungen zu den Logisch-Mathematischen Grundlagenproblemen

Saunders MacLane; 78

• View Abstract

Review: Paul Bernays, Bemerkungen zur Grundlagenfrage

Saunders MacLane; 78

• View Abstract

Review: Leon Chwistek, Sur les Fondements des Sciences Exactes

Saunders MacLane; 78

• View Abstract

Review: Walter Brocker, Antinomien und Paradoxien in der Logik

W. V. Quine; 79

• View Abstract

Review: C. J. Ducasse, Symbols, Signs, and Signals

Evert Beth; 79-80

• View Abstract

Review: Thomas Greenwood, Les Fondements de la Logique Symbolique

Charles A. Baylis; 80-81

• View Abstract

Review: Sylvester Hartman, Are There any Extra-Syllogistic Forms of Reasoning?

Alonzo Church; 81

• View Abstract

Review: Harry Ruja, Good Logics and Bad

Alonzo Church; 81

• View Abstract

Review: Richard Robinson, What is Independence?

Alonzo Church; 81

• View Abstract

Review: M. Lazerowitz, Self-Contradictory Propositions

Alonzo Church; 81-82

• View Abstract

Review: H. Meyer, Natuurwetenschap en Logica (Natuurwetenschap en Logica)

J. Kraft; 82

• View Abstract

Review: R. B. Braithwaite, Propositions about Material Objects

C. H. Langford; 82

• View Abstract

[Omnibus Review]

W. V. Quine; 83-84

• View Abstract

Review: Stanslaw Lesniewski, Grundzuge eines neuen Systems der Grundlagen der Mathematik

W. V. Quine; 84

• View Abstract