Volume 4; Issue 2

Journal of Symbolic Logic

Volume 4; Issue 2
1

An Informal Exposition of Proofs of Gödel's Theorems and Church's Theorem

Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 771 KB
english, 1939
2

Definition by Induction in Quine's New Foundations for Mathematical Logic

Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 215 KB
english, 1939
3

The Logical Syntax of Languageby Rudolf Carnap

Review by: S. C. Kleene
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 765 KB
english, 1939
4

Logische Untersuchungen über die Grundlagen der Mathematik.by Katudi Ono

Review by: Saunders MacLane
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 333 KB
english, 1939
5

On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit)

Abraham Robinsohn
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 445 KB
english, 1939
6

A System of Strict Implication

P. G. J. Vredenduin
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 312 KB
english, 1939
7

A Theorem on Deducibility for Second-Order Functions

C. H. Langford
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 295 KB
english, 1939
9

Applications of the Theory of Boolean Rings to General Topologyby M. H. Stone

Review by: Saunders MacLane
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 332 KB
english, 1939
11

Cours de Logiqueby M. Barzin

Review by: Robert Feys
Journal:
Journal of Symbolic Logic
Year:
1939
File:
PDF, 198 KB
1939
12

La Logistiqueby E. Huffer

Review by: Robert Feys
Journal:
Journal of Symbolic Logic
Year:
1939
File:
PDF, 198 KB
1939
16

Kritische Bemerkungen zu den Grundlagen der Logistikby Harald Nordenson

Review by: Jørgen Jørgensen
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 325 KB
english, 1939
17

The Consistency of the Ramified Principiaby Frederic B. Fitch

Review by: Paul Bernays
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 313 KB
english, 1939
18

Über Deduktive Theorien mit Mehreren Sorten von Grunddingen.by Arnold Schmidt

Review by: C. H. Langford
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 204 KB
english, 1939
20

La Négation et le Principe du Tiers Exclu.by Arnold Reymond

Review by: S. C. Kleene
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 303 KB
english, 1939
21

Logic of Algebraby Paul Dienes

Review by: Saunders MacLane
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 208 KB
english, 1939
22

Vagueness and Logicby Carl G. Hempel

Review by: Ernest Nagel
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 208 KB
english, 1939
23

Border-line Cases, Vagueness, and Ambiguityby Irving M. Copilowish

Review by: Ernest Nagel
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 213 KB
english, 1939
24

Concerning the Laws of Contradiction and Excluded Middleby V. J. McGill

Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 213 KB
english, 1939
25

Peirce's Theory of Logicby Justus Buchler

Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 211 KB
english, 1939
26

Nulla e Zeroby M. Cipolla

Review by: Albert A. Bennett
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 207 KB
english, 1939
27

Les Paradoxes de la Théorie des Ensembles Infinis.by Paul Lévy

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

Logistik und Sozialwissenschaftenby Oskar Morgenstern

Review by: Ernest Nagel
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 202 KB
english, 1939
30

A Symbolic Analysis of Relay and Switching Circuitsby Claude E. Shannon

Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 190 KB
english, 1939
31

A Propos de mes "Nouvelles vues Logiques."by Francesco Orestano

Review by: Everett J. Nelson
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 337 KB
english, 1939
32

10.2307/2269073

Review by: M. Wajsberg
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 328 KB
english, 1939
33

Symbols, Signs, and Signals

C. J. Ducasse
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 1.25 MB
english, 1939
34

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 293 KB
english, 1939
36

JSL volume 4 issue 2 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 3.22 MB
english, 1939
37

JSL volume 4 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1939
File:
PDF, 3.02 MB
1939
38

Errata

Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 32 KB
english, 1939
39

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 128 KB
english, 1939
40

A Formal Proof of Gödel's Theorem

L. Chwistek
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 567 KB
english, 1939
41

On Finite Boolean Algebraby S. Pankajam

Review by: W. D. Duthie
Journal:
Journal of Symbolic Logic
Year:
1939
Language:
english
File:
PDF, 268 KB
english, 1939