Volume 7; Issue 1

Journal of Symbolic Logic

Volume 7; Issue 1
1

Seventh Meeting of the Association for Symbolic Logic

J. C. C. McKinsey
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 295 KB
english, 1942
2

A Formal Theorem in Church's Theory of Types

M. H. A. Newman and A. M. Turing
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 442 KB
english, 1942
3

Volume Information

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 161 KB
english, 1942
4

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 84 KB
english, 1942
5

Errata

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 116 KB
english, 1942
6

The Burali-Forti Paradox

Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 1.28 MB
english, 1942
7

New Sets of Postulates for Combinatory Logics

Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 873 KB
english, 1942
8

A Correction to the Sentential Calculus of Tarski's Introduction to Logic

Daniel J. Bronstein
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 134 KB
english, 1942
10

On the Calculus of Relationsby Alfred Tarski

Review by: W. D. Duthie
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 211 KB
english, 1942
11

A Generalization of the Antilogismby Ray H. Dotterer

Review by: J. C. C. McKinsey
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 352 KB
english, 1942
12

Representations of Boolean Algebrasby Orrin Frink,

Review by: Saunders MacLane
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 199 KB
english, 1942
13

On the Formal Structure of the Propositional Calculus Iby S. Pankajam

Review by: H. E. Vaughan
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 200 KB
english, 1942
14

Some Comments on the Nature of Mathematical Logicby John J. Wellmuth

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 344 KB
english, 1942
15

Induction et Analogie: Comparison de Leur Fondementby Janina Lindenbaum Hosiasson

Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 354 KB
english, 1942
16

Postulates for the Theory of Probabilityby Arthur H. Copeland

Review by: S. C. Kleene
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 209 KB
english, 1942
17

A Formalization of Recursive Arithmeticby Haskell B. Curry

Review by: Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 196 KB
english, 1942
18

The Analytical Nature of Mathematicsby K. V. Laurikainen

Review by: G. H. v. Wright
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 196 KB
english, 1942
19

Intention and the Logical Constitution of Conceptsby Uuno Saarnio

Review by: G. H. v. Wright
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 196 KB
english, 1942
20

Logic and Ethicsby Klaus V. Vartiovaara

Review by: G. H. v. Wright
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 213 KB
english, 1942
22

Russell's Paradox and Othersby W. V. Quine

Review by: C. A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 206 KB
english, 1942
24

Dr. Quine's Theory of Truth-Functionsby Andrew Ushenko

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 208 KB
english, 1942
25

Galen and the Logic of Propositionsby James W. Stakelum

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 167 KB
english, 1942
26

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 166 KB
english, 1942
27

JSL volume 7 issue 1 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 4.80 MB
english, 1942
28

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 74 KB
english, 1942
29

Abstracts of papers

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 149 KB
english, 1942
30

Elections

Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 64 KB
english, 1942
31

Logical Form and Sensory Structureby Andrew Ushenko

Review by: Ernest Nagel
Journal:
Journal of Symbolic Logic
Year:
1942
Language:
english
File:
PDF, 283 KB
english, 1942