Volume 27; Issue 4

Journal of Symbolic Logic

Volume 27; Issue 4
2

Incompleteness Along Paths in Progressions of Theories

S. Feferman and C. Spector
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 317 KB
english, 1962
3

The Separation Theorem of Intuitionist Propositional Calculus

Alfred Horn
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 277 KB
english, 1962
4

On McKinsey's Syntatical Characterizations of Systems of Modal Logic

F. R. Drake
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 234 KB
english, 1962
5

The Number of Modalities in T Supplemented by the Axiom CL2pL3p

Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 99 KB
english, 1962
6

Functional Completeness and Canonical Forms in Many-Valued Logics

William H. Jobe
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 391 KB
english, 1962
7

Extensions of Some Theorems of Anderson and Belnap

Alan Rose
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 148 KB
english, 1962
8

The Semantics of Singular Terms

Gordon Matheson
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 807 KB
english, 1962
9

Turing-Maschinen und Markowche Algoritmenby Günter Asser

Review by: Michael O. Rabin
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 136 KB
english, 1962
10

The Representation of Monadic Boolean Algebrasby Paul R. Halmos

Review by: Aubert Daigneault
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 139 KB
english, 1962
11

Algebraic Logicby Paul R. Halmos

Review by: Aubert Daigneault
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 130 KB
english, 1962
12

On the Nature of the Logicalby L. P. Gokiéli

Review by: David Dinsmore Comey
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 124 KB
english, 1962
13

Formulario Mathematicoby Giuseppe Peano

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 89 KB
english, 1962
14

The Gödel Theorem. An Informal Exposition.by Norwood Russell Hanson

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 123 KB
english, 1962
16

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 137 KB
english, 1962
17

Twenty-Eighth Annual Meeting of the Association for Symbolic Logic

Robert L. Vaught
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 368 KB
english, 1962
18

List of Officers and Members of the Association for Symbolic Logic

Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 729 KB
english, 1962
19

Two Arithmetical Techniques with Numbered Classes

Gerald B. Standley
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 101 KB
english, 1962
20

Mathematical Logic and the Foundations of Mathematicsby S. A. Ánovskaá

Review by: E. J. Cogan
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 93 KB
english, 1962
22

The Independence of Connectives

Timothy Smiley
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 360 KB
english, 1962
23

Free Monadic Algebrasby Paul R. Halmos

Review by: Aubert Daigneault
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 116 KB
english, 1962
24

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 160 KB
english, 1962
25

JSL volume 27 issue 4 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1962
File:
PDF, 8.92 MB
1962
26

Errata

Journal:
Journal of Symbolic Logic
Year:
1962
File:
PDF, 54 KB
1962
27

List of officers and members of the Association for Symbolic Logic

Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 1.26 MB
english, 1962