Volume 29; Issue 4

Main
Journal of Symbolic Logic
Volume 29; Issue 4

Journal of Symbolic Logic

Volume 29; Issue 4

1

The System CΔ of Combinatory Logicby Frederic B. Fitch

Review by: Bruce Lercher

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 307 KB

english, 1964

2

Les Algèbres Booléennes Topologiques Bornées.by Léon LeBlanc

Review by: Donald Monk

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 215 KB

english, 1964

3

Philosophical Problems of Many-valued Logicby A. A. Zinov'ev

Review by: Atwell R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 294 KB

english, 1964

4

List of Officers and Members of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 1.92 MB

english, 1964

5

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 165 KB

english, 1964

6

Effective Operations in a General Setting

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 1.19 MB

english, 1964

7

A Note on Quine's Treatment of Transfinite Recursion

Charles Parsons

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 307 KB

english, 1964

8

A Note on S5

Hector-Neri Castaneda

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 217 KB

english, 1964

9

Semantic Analysisby Paul Ziff

Review by: Paul Benacerraf

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 303 KB

english, 1964

10

Scientific Inferenceby Harold Jeffreys

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 318 KB

english, 1964

11

Some Considerations Concerning "Interpretative Systems."by Harry V. Stopes-Roe

Review by: Maria Kokoszyńska

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 397 KB

english, 1964

12

Die Mathematische Logik und die Geisteswissenschaftenby Heinrich Scholz

Review by: H. Hermes

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 189 KB

english, 1964

13

Names and Descriptionsby A. J. Ayer

Review by: James Thomson

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 189 KB

english, 1964

14

A Model of Mind-Body Relation in Terms of Modular Logicby Satosi Watanabe

Review by: E. J. Lemmon

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 297 KB

english, 1964

15

Rekursive Wortfunktionenby Günter Asser; H. A. Pogorzelski

Review by: H. Hermes

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 387 KB

english, 1964

16

Degrees of Unsolvabilityby Gerald E. Sacks

Review by: Gustav B. Hensel

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 321 KB

english, 1964

17

On Suborderings of Degrees of Recursive Unsolvabilityby Gerald E. Sacks

Review by: Gustav B. Hensel

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 213 KB

english, 1964

18

On Degrees of Unsolvabilityby J. R. Shoenfield;An Uncountable Set of Incomparable Degreesby J. R. Shoenfield

Review by: Gerald E. Sacks

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 317 KB

english, 1964

19

Recursive Enumerability and the Jump Operatorby Gerald E. Sacks

Review by: Donald L. Kreider

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 204 KB

english, 1964

20

Subgroups of Finitely Presented Groupsby G. Higman

Review by: Michael O. Rabin

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 305 KB

english, 1964

21

The Word Problem for Groupsby J. L. Britton;The Word Problemby John L. Britton

Review by: Michael O. Rabin

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 319 KB

english, 1964

22

Transformation Algebrasby Léon LeBlanc

Review by: Donald Monk

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 323 KB

english, 1964

23

Représentation des Algèbres Polyadiques Pour Anneauby Léon Le Blanc

Review by: Donald Monk

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 211 KB

english, 1964

24

Remark on a System of Bernaysby John Myhill

Review by: Azriel Lévy

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 202 KB

english, 1964

25

A Survey of Mathematical Logicby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 200 KB

english, 1964

26

Retracing Elementary Mathematicsby Leon Henkin; W. Norman Smith; Verne J. Varineau; Michael J. Walsh

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 197 KB

english, 1964

27

Mathematical Inductionby Leon Henkin

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 192 KB

english, 1964

28

Mathematical Logic and Numerical Analysisby A. A. Markov

Review by: Andrzej Blikle

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 192 KB

english, 1964

29

Logic, Arithmetic, and Automataby Alonzo Church

Review by: J. Richard Büchi

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 219 KB

english, 1964

30

Sequence Generators and Digital Computersby A. W. Burks; J. B. Wright;Sequence Generators, Graphs, and Formal Languagesby Arthur W. Burks; Jesse B. Wright

Review by: Robert McNaughton

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 379 KB

english, 1964

31

On a Family of Classes of Functions in the Algebra of Logic and Their Realizations in the Class of II-Circuitsby B. I. Finikov

Review by: Andrzej Blikle

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 148 KB

english, 1964

32

A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logicby Storrs McCall

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 147 KB

english, 1964

33

Zeitschrift für mathematische Logik und Grundlagen der Mathematikby Alan Rose

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 197 KB

english, 1964

34

Functional Constructions in k-Valued Logicby S. V. Áblonskij

Review by: Arto Salomaa

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 374 KB

english, 1964

35

Errata

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 158 KB

english, 1964

36

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 186 KB

english, 1964

37

Sulle Dimostrazioni di Coerenza dei Sistemi Ipotetico-Deduttiviby Ettore Carruccio

Review by: Alan Cobham

Journal:

Journal of Symbolic Logic

Year:

1964

File:

PDF, 216 KB

1964

38

Sulle Dimostrazioni di Coerenza dei Sistemi Ipotetico-Deduttiviby Ettore Carruccio

Review by: Alan Cobham

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 216 KB

english, 1964

39

Meeting of the Association for Symbolic Logic

J. C. Shepherdson, S. Körner and M. D. Gladstone

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 1.04 MB

english, 1964

40

Blanc Léon Le. Dualité pour les égalités booléennes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3552–3553.Blanc Léon Le. Les algèbres de transformation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3928–3930.See XXIX 53(2) and the review above.

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 95 KB

english, 1964

41

Pogorzelski H. A.. A note on an arithmetization of a word system in a denumerable alphabet. Ebd., Bd. 8 (1962), S. 247–249.

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

german

File:

PDF, 82 KB

german, 1964

42

Pogorzelski H. A.. Word arithmetic: Theory of primitive words. Ebd., S. 251–255.

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

german

File:

PDF, 82 KB

german, 1964

43

Vučković Vladeta. Rekursive Wortarithmetik. Académie Serbe des Sciences et des Arts, Publications de l'Institut Mathématique (Belgrad), Bd. 14 (1960), S. 9–60.

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

german

File:

PDF, 150 KB

german, 1964

44

JSL volume 29 issue 4 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 115 KB

english, 1964

45

Errata

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 50 KB

english, 1964

46

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 103 KB

english, 1964

47

Notice to fellowship and research opportunities in mathematics

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 50 KB

english, 1964

48

List of officers and members of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 1.40 MB

english, 1964

49

van Rootselaar B.. Die Struktur der rekursiven Wortarithmetik des Herrn V. Vučković. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Bd. 65 (1962), S, 192–200; auch Indagationes mathematicae, Bd. 24 (1962), S. 192–200.

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

german

File:

PDF, 79 KB

german, 1964

50

JSL volume 29 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 8.48 MB

english, 1964

51

Note on the 3-Recursive Functionsby Paul Axt

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 282 KB

english, 1964

52

Hierarchies Over Recursive Well-Orderings

Herbert Enderton and David Luckham

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 554 KB

english, 1964

53

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 258 KB

english, 1964