Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 1; Issue 2

Journal of Symbolic Logic

Volume 1; Issue 2

1

On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functionsby J. C. C. McKinsey

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 298 KB

english, 1936

2

Set-Theoretic Foundations for Logic

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 950 KB

english, 1936

3

Recherches sur l'algebre de la logiqueby Gr. C. Moisil

Review by: Garrett Birkhoff

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 194 KB

english, 1936

4

Syllogisme categorique et syllogisme hypothetique (premier article)by Jacques Picard

Review by: S. K. Langer

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 295 KB

english, 1936

5

The Meaning of Implicationby Daniel J. Bronstein

Review by: C. H. Langford

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 184 KB

english, 1936

6

Are Some Propositions Neither True nor False?by Charles A. Baylis

Review by: Barkley Rosser

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 189 KB

english, 1936

7

Postulates for Boolean Algebra Involving the Operation of Complete Disjunctionby B. A. Bernstein

Review by: Barkley Rosser

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 186 KB

english, 1936

8

Necessary and Contingent Truthsby Morris Lazerowitz

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 285 KB

english, 1936

9

Classical and Relational Logicby Roger W. Holmes

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 185 KB

english, 1936

10

Reducible Boolean Functionsby J. C. C. McKinsey

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 185 KB

english, 1936

11

Epistemological Remarks on the Propositional Calculusby Karl Britton

Review by: S. K. Langer

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 287 KB

english, 1936

12

A Theory of Classes Presupposing no Canons of Typeby W. V. Quine

Review by: Barkley Rosser

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 189 KB

english, 1936

13

Grundzuge des Systemenkalkuls. Zweiter Teilby Alfred Tarski

Review by: W. V. Quine

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 304 KB

english, 1936

14

On Order in Timeby Bertrand Russell

Review by: W. V. Quine

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 289 KB

english, 1936

15

Extensions of Partially Ordered Setsby H. M. MacNeille

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 180 KB

english, 1936

16

An Unsolvable Problem of Elementary Number Theoryby Alonzo Church

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 285 KB

english, 1936

17

A Note on the Entscheidungs Problemby Alonzo Church

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 186 KB

english, 1936

18

Some Properties of Conversionby Alonzo Church; J. B. Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 294 KB

english, 1936

19

Further Citations

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 162 KB

english, 1936

20

Implication and Deducibilityby Arnold F. Emch

Review by: Everett J. Nelson

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 314 KB

english, 1936

21

Die Widerspruchsfreiheit der reinen Zahlentheorieby Gerhard Gentzen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 203 KB

english, 1936

22

Addendum to the Article Implication and Deducibility

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 166 KB

english, 1936

23

Abstracts of Papers

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 444 KB

english, 1936

24

Consistency and Independence in Postulational Techniqueby Arnold F. Emch

Review by: Everett J. Nelson

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 325 KB

english, 1936

25

First Properties of Functionality in Combinatory Logicby H. B. Curry

Review by: S. C. Kleene

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 206 KB

english, 1936

26

Constructibility as a Criterion for Existenceby Barkley Rosser

Review by: W. V. Quine

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 207 KB

english, 1936

27

Untersuchung uber Unabhangigkeitsbeweise nach der Matrizenmethodeby M. Wajsberg

Review by: Albert A. Bennett

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 302 KB

english, 1936

28

Les Paradoxes de la Logiqueby Ch. Perelman

Review by: C. H. Langford

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 321 KB

english, 1936

29

JSL volume 1 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 6.64 MB

english, 1936

30

Abstracts of papers

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 248 KB

english, 1936

31

Errata

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 6.60 MB

english, 1936

32

Related Citations

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 144 KB

english, 1936

33

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

Review by: S. C. Kleene

Journal:

Journal of Symbolic Logic

Année:

1936

Langue:

english

Fichier:

PDF, 330 KB

english, 1936