Volume 1; Issue 3

Journal of Symbolic Logic

Volume 1; Issue 3
1

Extensions of Some Theorems of Gödel and Church

Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 526 KB
english, 1936
2

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

Frederic Brenton Fitch
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 666 KB
english, 1936
3

Correction to a Note on the Entscheidungsproblem

Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 249 KB
english, 1936
4

Finite Combinatory Processes-Formulation 1

Emil L. Post
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 432 KB
english, 1936
5

List of Officers and Members of the Association for Symbolic Logic

C. J. Ducasse
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 384 KB
english, 1936
6

Institutional Contributing Subscribers

Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 79 KB
english, 1936
7

Toward a Calculus of Conceptsby W. V. Quine

Review by: Paul Henle
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 314 KB
english, 1936
8

The Theory of logicby A. P. Ushenko

Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 319 KB
english, 1936
9

A Mathematical Treatment of the Rules of the Syllogismby H. B. Curry

Review by: C. H. Langford
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 196 KB
english, 1936
10

Die kontradiktorische Logikby T. Hirano

Review by: Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 180 KB
english, 1936
12

Über die Länge von Bewisen.by Kurt Gödel

Review by: Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 180 KB
english, 1936
14

Definition of Substitutionby W. V. Quine

Review by: Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 293 KB
english, 1936
15

The Claims of Intuitionismby Max Black

Review by: Alice Ambrose
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 170 KB
english, 1936
16

A Note on Contradictionby Everett J. Nelson

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 169 KB
english, 1936
17

On Euler's φ-Function and its Extensionsby S. Pankajam

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 170 KB
english, 1936
18

Logistic and Philosophyby Jan Łukasiewicz

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 169 KB
english, 1936
19

Démonstration d'un théorème concernant le principe du tiers excluby E. W. Beth

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 170 KB
english, 1936
20

Note sur la démonstration de M. E. W. Bethby Marcel Barzin

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 169 KB
english, 1936
21

The theory of Representations for Boolean Algebrasby M. H. Stone

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 285 KB
english, 1936
22

Die Widerspruchsfreiheit der Stufenlogikby Gerhard Gentzen

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 173 KB
english, 1936
23

A note on recursive functionsby S. C. Kleene

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 173 KB
english, 1936
24

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 259 KB
english, 1936
25

Die Klassische und die Moderne Logikby Heinrich Scholz

Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 181 KB
english, 1936
26

Introducción a la Lógica Moderna.by David García Baca

Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 317 KB
english, 1936
28

Negationsformen Empirischer Satzeby B. Juhos

Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 203 KB
english, 1936
29

The Logic of Logical Positivismby Harry Ruja

Review by: C. H. Langford
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 342 KB
english, 1936
30

Emch's Calculus and Strict Implication

C. I. Lewis
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 1.10 MB
english, 1936
31

Syllogisme Catégorique et Syllogisme Hypothétique (Suite et fin).by Jacques Picard

Review by: S. K. Langer
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 192 KB
english, 1936
32

The first meeting of the Association for Symbolic Logic

Weiss, Paul
Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 54 KB
english, 1936
33

JSL volume 1 issue 3 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 6.59 MB
english, 1936
34

Institutional contributing subscribers

Journal:
Journal of Symbolic Logic
Year:
1936
File:
PDF, 18 KB
1936
35

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 119 KB
english, 1936
36

Preliminary announcement of a meeting of the Association

Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 54 KB
english, 1936
37

Errata

Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 6.59 MB
english, 1936
38

List of officers and members of the association for Symbolic Logic

Journal:
Journal of Symbolic Logic
Year:
1936
Language:
english
File:
PDF, 192 KB
english, 1936