J. Symbolic Logic, Tome 2 (1937) no. 2

Project Euclid

Review: Louis Osgood Kattsoff, Modality and Probability

Project Euclid

Review: H. B. Smith, The Algebra of Propositions

p. 43-44

Project Euclid

Review: Emil L. Post, Finite Combinatory Processes--Formulation 1

Project Euclid

Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem

p. 42-43

Project Euclid

Review: Rudolf Carnap, Friedrich Bachmann, Uber Extremalaxiome

Project Euclid

Review: V. C. Aldrich, Renegade Instances

Project Euclid

Review: H. B. Curry, A Note on the Associative Law in Logical Algebras

Project Euclid

Review: J. C. C. McKinsey, Boolean Functions and Points

Project Euclid

Review: A. J. Kempner, Remarks on "Unsolvable" Problems

Project Euclid

Review: Ch. Perelman, L'Antinomie de M. Godel

p. 40-41

Project Euclid

Review: Alonzo Church, Mathematical Logic

Curry, H. B.

p. 39-40

Project Euclid

Review: S. C. Kleene, $\lambda$-Definability and Recursiveness

Peter, Rozsa

p. 38-39

Project Euclid

Review: S. C. Kleene, General Recursive Functions of Natural Numbers

Peter, Rozsa

Project Euclid

Review: Frederic Brenton Fitch, A System of Formal Logic without an Analogue to the Curry W. Operator

p. 37-38

Project Euclid

Review: Oskar Becker, Eudoxos-Studien IV. Das Prinzip des Ausgeschlossenen Dritten in der Griechischen Mathematik

Project Euclid

The Theory of Classes a Modification of Von Neumann's System

Robinson, Raphael M.

p. 29-36

Project Euclid

On the Use of Dots as Brackets in Logical Expressions

Curry, H. B.

p. 26-28

Project Euclid

Ueber Eine Abgeschwaechte Fassung des Auswahlaxioms

Fraenkel, A.

p. 1-25

Project Euclid

Index of Reviews: Volumes I and II

p. 183-188

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 178-182

Project Euclid

Institutional Contributing Subscribers to the Journal of Symbolic Logic

Project Euclid

Further Citations

p. 175-176

Project Euclid

Review: R. Feys, Directions nouvelles de la Logistique aux Etats-Unis

Project Euclid

Review: M. H. Stone, Note on Formal Logic

p. 174-175

Project Euclid

Review: Ch. Perelman, Une Solution des Paradoxes de la Logique et ses Consequences pour la Conception de l'Infini

Project Euclid

Review: E. W. Beth, L'Evidence Intuitive dans les Mathematiques Modernes

Project Euclid

Review: Kurt Grelling, Der Einflu$\beta$ der Antinomien auf die Entwicklung der Logik im 20. Jahrhundert

Project Euclid

Review: Eugen Gh. Mihailescu, Recherches sur la Negation et l'Equivalence dans le Calcul des Propositions

Project Euclid

Review: S. Pankajam, On Symmetric Functions of $n$ Elements in a Boolean Algebra

Project Euclid

Review: H. B. Smith, Modal Logic--A Revision

Project Euclid

Review: Solomon Hoberman, J. C. C. McKinsey, A Set of Postulates for Boolean Algebra

p. 172-173

Project Euclid

Review: Roger W. Holmes, Two Jobs for the Logician?

Project Euclid

Review: Paul Schrecker, La Methode Cartesienne et la Logique

Project Euclid

Review: H. G. Forder, The Anatomy of Demonstration

Project Euclid

Review: Alice L. Ambrose, The Nature of the Question, "Are there Three Consecutive 7's in the Expansion of $\pi$?"

p. 171-172

Project Euclid

Review: Joseph C. Trainor, The Contributions of Alfred Korzybski; Alice Ambrose, Finitism and "The Limits of Empiricism."

Project Euclid

Review: Oliver L. Reiser, Symbolic Logic and the Frontiers of Social Science

Project Euclid

Review: Olaf Helmer, The Significance of Undecidable Sentences

Project Euclid

Review: C. G. Hempel, Le Probleme de la Verite

p. 170-171

Project Euclid

Review: Leon Chwistek, Uberwindung des Begriffsrealismus

p. 168-170

Project Euclid

Review: Raphael M. Robinson, The Theory of Classes. A Modification of von Neumann's System

Project Euclid

Review: A. Fraenkel, Ueber eine Abgeschwachte Fassung des Auswahlaxioms

v. Neumann, J.

p. 167-168

Project Euclid

Review: Wilhelm Ackerman, Die Widerspruchsfreiheit der Allgemeinen Mengenlehre

Peter, Rozsa

Project Euclid

Remark on Nicod's Reduction of Principia Mathematica

Bernstein, B. A.

p. 165-166

Project Euclid

The $\mathfrak{p}$-Function in $\lambda-K$-Conversion

Turing, A. M.

Project Euclid

Computability and $\lambda$-Definability

Turing, A. M.

p. 153-163

Project Euclid

Logic based on Inclusion and Abstraction

p. 145-152

Project Euclid

Further Citations

p. 143-144

Project Euclid

Review: Friedrich Waismann, Karl Menger, Einfuhrung in das Mathematische Denken

p. 142-143

Project Euclid

Review: R. Vaidyanathaswamy, On the Group-Operations of a Boolean Algebra

Project Euclid

Review: Morris Lazerowitz, Tautologies and the Matrix Method

p. 141-142

Project Euclid

Review: W. Hetper, Fondements de la Semantique

Perkal, Julian

Project Euclid

A System of Axiomatic Set Theory--Part I

p. 65-77

Project Euclid

Second Meeting of the Association for Symbolic Logic

p. 63-64

Project Euclid

Further Citations

p. 61-62

Project Euclid

Review: Carl G. Hempel, P. Oppenheim, Der Typusbegriff im Lichte der Neuen Logik

Project Euclid

Review: Bertrand Russell, The Limits of Empiricism

Project Euclid

Review: W. Kneale, Is Existence a Predicate?

p. 60-61

Project Euclid

Review: W. V. Quine, On the Axiom of Reducibility

Project Euclid

Review: E. W. Beth, Some Remarks on Dr. Perelman's Essay on Logical Antinomies

Project Euclid

Review: Kurt Grelling, The Logical Paradoxes

Project Euclid

Review: M. Black, Truth-Functions: A Criticism

Project Euclid

Review: J. H. Woodger, W. F. Floyd, A Simple Method of Testing Truth-Functions

p. 59-60

Project Euclid

Review: Emil J. Walter, Aufriss der Logistik

Project Euclid

Review: J. C. C. McKinsey, On the Generation of the Functions Cpq and Np of Lukasiewicz and Tarski by means of a Single Binary Operation

Project Euclid

Review: J. C. C. McKinsey, On Boolean Functions of many Variables

p. 58-59

Project Euclid

Review: Tang Tsao-Chen, The Theorem "$p q\ldot = \ldot pq = p$" and Huntington's Relation between Lewis's strict Implication and Boolean Algebra; Tang Tsao-Chen, A Paradox of Lewis's Strict Implication

Project Euclid

Review: A. P. Ushenko, The Many-Valued Logics

Project Euclid

Review: A. P. Ushenko, Predication of Existence

p. 57-58

Project Euclid

Review: Rozsa Peter, Uber die Mehrfache Rekursion

Project Euclid

Review: Alessandro Padoa, Ce que la Logique doit a Peano

Project Euclid

Review: Heinrich Scholz, Friedrich Bachmann, Der Wissenschaftliche Nachlass von Gottlob Frege

p. 56-57

Project Euclid

Review: F. Bachmann, Die Fragen der Abhangigkeit und der Entbehrlichkeit von Axiomen in Axiomen-Systemen, in denen ein Extremalaziom Auftritt

Project Euclid

Review: Adolphe Lindenbaum, Sur la Simplicite Formelle des Notions

p. 55-56

Project Euclid

Review: Eugeniu Sperantia, Remarques sur les Propositions Interrogatives. Projet d'une "Logique du Probleme."

Project Euclid

Review: Stanislaw Jaskowski, Recherches sur le Systeme de la Logique Intuitioniste

Project Euclid

Review: Janina Hosiasson, La Theorie des Probabilites est-elle une Logique Generalisee? Analyse Critique

Project Euclid

Review: Zygmunt Zawirski, Les Rapports de la Logique Polyvalente avec le Calcul des Probabilites

Project Euclid

Review: Bruno de Finetti, La Logique de la Probabilite

Project Euclid

Review: Hans Reichenbach, Wahrscheinlichkeitslogik als Form Wissenschaftlichen Denkens

Project Euclid

Review: E. W. Beth, The Significs of Pasigraphic Systems. A Contribution to the Psychology of the Mathematical thought Process

p. 53-54

Project Euclid

Review: Barkley Rosser, Extensions of some Theorems of Godel and Church

p. 52-53

Project Euclid

Review: W. V. Quine, Set-Theoretic Foundations for Logic

p. 51-52

Project Euclid

Review: Eug. Gh. Mihailescu, Recherches sur un sous-Systeme du Calcul des Propositions

Project Euclid

Review: Gr. C. Moisil, Recherches sur le Principe d'Identite

Project Euclid

Review: Th. Skolem, Uber Gewisse "Verbande" oder "Lattices."

Birkhoff, Garrett

p. 50-51

Project Euclid

Review: Rudolf Carnap, Testability and Meaning

Leonard, Henry S.

p. 49-50

Project Euclid

Review: Eleanor Bisbee, Confusion about Exclusive and Exceptive Propositions

Project Euclid

Review: Olaf Helmer, Perelman versus Godel

p. 48-49

Project Euclid

Review: Laszlo Kalmar, Zuruckfuhrung des Entscheidungsproblems auf den Fall von Formeln mit einer Einzigen, Binaren, Funktionsvariablen

Project Euclid

Review: Hans Freudenthal, Zur Intuitionistischen Deutung Logischer Formeln; A. Heyting, Bemerkungen zu dem Aufsatz von Herrn Freudenthal "Zur Intuitionistischen Deutung Logischer Formeln."

Project Euclid

Review: Fritz Klein-Barmen, Ein Beitrag zur Theorie der Abstrakten Beziehungen

Project Euclid

Review: Ingebrigt Johansson, Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus

Project Euclid

Review: Wolfgang Pich, Uber Unabhangigkeitsbeweise im Aussagenkalkul

p. 46-47

Project Euclid

Review: Jerzy Slupecki, Der volle Dreiwertige Aussagenkalkul

Project Euclid

Review: C. I. Lewis, Emch's Calculus and Strict Implication

Project Euclid

Review: Ferdinand Gonseth, Les Mathematiques et la Realite. Essai sur la Methode Axiomatique

p. 45-46

Project Euclid

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

Project Euclid

Review: M. Strauss, Zur Begrundung der Statistischen Transformationstheorie der Quantenphysik

Project Euclid

Review: Garrett Birkhoff, John von Neumann, The Logic of Quantum Mechanics

p. 44-45

Project Euclid

Review: Leon Chwistek, Limites de la Science. Precis de Logique et de Methodologie des Sciences Exactes

Perkal, Julian

p. 140-141

Project Euclid

Review: Jan Lukasiewicz, Actes du Huitieme Congres International de Philosophic

Project Euclid

Review: Uuno Saarnio, Zur Heterologischen Paradoxie

Project Euclid

Godel Theorems for Non-Constructive Logics

p. 129-137

Project Euclid

Modal Functions in Two-Valued Logic

Fitch, Frederic B.

p. 125-128

Project Euclid

On Cantor's Theorem

p. 120-124

Project Euclid

On Derivability

p. 113-119

Project Euclid

A Purely Topological Form of Non-Aristotelian Logic

Hempel, Carl G.

p. 97-112

Project Euclid

Review: Jacques Picard, Le Raisonnement Deductif

Project Euclid

Review: Theodore Hailperin, Foundations of Probability in Mathematical Logic

p. 95-96

Project Euclid

Review: E. T. Bell, Men of Mathematics

Project Euclid

Review: Gerhard Gentzen, Der Unendlichkeitsbegriff in der Mathematik

Project Euclid

Review: I. M. Bochenski, In the Matter of Logistic; Jan Franciszek Drewnowski, On the Need of Exactness; Jan Salamucha, From Behind the Scenes of Christian Philosophy

Kokoszynska, M.

p. 94-95

Project Euclid

Review: Carl G. Hempel, Eine rein Topologische Form Nichtaristotelischer Logik; Hans Hermes, Heinrich Scholz, Ein neuer Vollstandigkeitsbeweis fur das Reduzierte Fregesche Axiomensystem des Aussagenkalkuls

Project Euclid

Review: Zygmunt Zawirski, Uber die Anwendung der Mehrwertigen Logik in der Empirischen Wissenschaft

Project Euclid

Review: M. Wajsberg, Metalogische Beitrage

p. 93-94

Project Euclid

Review: Boleslaw Sobocinski, Axiomatization of Certain many-Valued Systems of the Theory of Deduction

Tarski, Alfred

Project Euclid

Review: Zygmunt Schmierer, Uber die Charakteristische Funktionen in den Mehrwertigen Systemen der Logik

Tarski, Alfred

Project Euclid

Review: J. Cavailles, Logique Mathematique et Syllogisme

Project Euclid

Review: Heinrich Behmann, The Paradoxes of Logic

Project Euclid

Review: Albert Whiteman, Postulates for Boolean Algebra in Terms of Ternary Rejection

Project Euclid

Review: Edward V. Huntington, Postulates for Assertion, Conjunction, Negation, and Equality

MacLane, Saunders

Project Euclid

Review: H. B. Curry, On the use of Dots as Brackets in Logical Expressions

p. 90-91

Project Euclid

Review: Julius Rudolph Weinberg, An Examination of Logical Positivism

p. 89-90

Project Euclid

Review: A. Heyting, The Development of Intuitionistic Mathematics

Project Euclid

Review: Oliver L. Reiser, Non-Aristotelian Logic and the Crisis in Science

p. 88-89

Project Euclid

Review: Paulette Fevrier, Les Relations d'Incertitude de Heisenberg et la Logique

Project Euclid

Review: F. Orestano, Probabilismo e Certezza nella Logica e nella Scienza

Project Euclid

Review: Th. Skolem, Utvalgte Kapitler av den Matematiske Logikk

Jorgensen, Jorgen

p. 87-88

Project Euclid

Review: Alonzo Church, S. C. Kleene, Formal Definitions in the Theory of Ordinal Numbers

Project Euclid

Review: W. V. Quine, New Foundations for Mathematical Logic

p. 86-87

Project Euclid

Review: Th. Skolem, Einige Reduktionen des Entscheidungsproblems

Project Euclid

Review: Th. Skolem, Uber die Zuruckfuhrbarkeit einiger durch Rekursionen Definierter Relationen auf "Arithmetische."

p. 85-86

Project Euclid

Review: Jozef Pepis, Beitrage zur Reduktionstheorie des logischen Entscheidungsproblems

p. 84-85

Project Euclid

Review: A. Malcev, Untersuchungen aus dem Gebiete der Mathematischen Logik

Project Euclid

Review: Olaf Helmer, A Few Remarks on the Syntax of Axiom-Systems

Project Euclid

Review: Alfred Tarski, Uber den Begriff der Logischen Folgerung

p. 83-84

Project Euclid

Review: Basilio Mania, L'Infini Mathematique et l'Evolution de la Logique

Project Euclid

Review: F. Gonseth, La Logique en tant que Physique de l'Objet Quelconque

Project Euclid

Review: Alfred Tarski, Grundlegung der Wissenschaftlichen Semantik; Thomas Greenwood, Sur la Signification des Symboles Logiques

Project Euclid

Review: Heinrich Scholz, Die Wissenschaftslehre Bolzanos. Eine Jahrhundert-Betrachtung

p. 82-83

Project Euclid

Deducibility with Respect to Necessary and Impossible Propositions

Emch, Arnold F.