Volume 34; Issue 4

Main
Journal of Symbolic Logic
Volume 34; Issue 4

Journal of Symbolic Logic

Volume 34; Issue 4

1

On Leśniewski's Ontology.by Czesław Lejewski;Zu Leśniewskis Ontologie.by Czesław Lejewski

Review by: Boguslaw Iwanus

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 342 KB

english, 1969

2

An Extension of Schutte's Klammer-Symbolsby Harvey Gerber

Review by: Hilbert Levitz

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

3

An Abstract Form of the Church-Rosser Theorem. I

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1003 KB

english, 1969

4

Combinatory Logic with Discriminators

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.15 MB

english, 1969

5

Compactification of Groups and Rings and Nonstandard Analysis

Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.37 MB

english, 1969

6

Finite Sets in Quine's New Foundations

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 676 KB

english, 1969

7

Effectively Retractable Theories and Degrees of Undecidability

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 749 KB

english, 1969

8

Abstract Computability and Invariant Definability

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 2.56 MB

english, 1969

9

On Primitive Recursive Permutations and their Inverses

Frank B. Cannonito and Mark Finkelstein

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 462 KB

english, 1969

10

A Simple Solution of the Uniform Halting Problem

Gabor T. Herman

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 270 KB

english, 1969

11

Logic. Techniques of Formal Reasoningby Donald Kalish; Richard Montague

Review by: B. H. Mayoh

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 327 KB

english, 1969

12

Calculus of Functions of One Argument. With Analytic Geometry and Differential Equationsby Edward W. Cogan; Robert Z. Norman; Gerald L. Thompson

Review by: William E. Gould

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 231 KB

english, 1969

13

The Structure of the Real Number Systemby Leon W. Cohen; Gertrude Ehrlich

Review by: Krister Segerberg

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 347 KB

english, 1969

14

Philosophy of Science: A Formal Approachby Henry E. Kyburg,

Review by: David Miller

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 327 KB

english, 1969

15

What is a Question?by John E. Llewelyn

Review by: David Harrah

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 334 KB

english, 1969

16

New Light on the Liarby Y. Bar-Hillel;Do Natural Languages Contain Paradoxes?by Yehoshua Bar-Hillel

Review by: James Cargile

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

17

A Calculus of `Before.'by David Randall Luce

Review by: Nino B. Cocchiarella

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 345 KB

english, 1969

18

The Proof `Ex Motu' for the Existence of God: Logical Analysis of St. Thomas' Argumentsby Jan Salamucha; Tadeusz Gierymski; Marian Heitzman

Review by: Wilfrid Hodges

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 231 KB

english, 1969

19

Remarks on Tarski's System of Axioms of Geometryby Z. Piesyk

Review by: L. W. Szczerba

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 202 KB

english, 1969

20

New Foundations and the Axiom of Countingby Steven Orey

Review by: Norman Feldman

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 227 KB

english, 1969

21

Gödel's Theorem and Related Topics.by Toshio Nishimura

Review by: Mariko Yasugi

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 345 KB

english, 1969

22

First Order Predicate Logic with Generalized Quantifiersby Per Lindström

Review by: G. Fuhrken

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 215 KB

english, 1969

23

Theory of Models with Generalized Atomic Formulasby H. Jerome Keisler

Review by: Martin Helling

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 243 KB

english, 1969

24

Regular Products of Modelsby A. I. Mal'cév; J. N. Whitney

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 373 KB

english, 1969

25

On Compact Classes of Modelsby A. I. Omarov

Review by: Mihály Makkai

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 228 KB

english, 1969

26

Some Relational Systems and the Associated Topological Spacesby Andrzej Grzegorczyk

Review by: R. A. Bull

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 358 KB

english, 1969

27

Metamathematics and Algebra: An Exampleby Roger C. Lyndon

Review by: Arnold Oberschelp

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

28

Weak Isomorphisms of Boolean and Post Algebrasby T. Traczyk

Review by: G. Grätzer

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

29

Definability in Axiomatic Set Theory Iby Azriel Lévy; Yehoshua Bar-Hillel

Review by: F. R. Drake

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 333 KB

english, 1969

30

Measurable Cardinals and the Continuum Hypothesisby A. Lévy; R. M. Solovay

Review by: F. R. Drake

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 328 KB

english, 1969

31

On Axiomatic Set Theoryby Anton Jensen

Review by: Lars Löfgren

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

32

La Notion de Constructivité en Métamathématique.by Jean Ladrière

Review by: O. Chateaubriand

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 325 KB

english, 1969

33

Automata, Formal Languages, Abstracts Switching, and Computability in a Ph.D. Computer Science Programby Robert McNaughton

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 206 KB

english, 1969

34

The Intrinsic Computational Difficulty of Functionsby Alan Cobham; Yehoshua Bar-Hillel

Review by: Stephen A. Cook

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

35

A Machine-Independent Theory of the Complexity of Recursive Functionsby Manuel Blum

Review by: Stephen A. Cook

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 316 KB

english, 1969

36

A New Normal-Form Theorem for Context-Free Phase Structure Grammarsby Sheila Greibach

Review by: Rohit Parikh

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 196 KB

english, 1969

37

On a Language of Pseudo-Regular Expressionsby B. G. Mirkin

Review by: J. A. Brzozowski

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 196 KB

english, 1969

38

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 461 KB

english, 1969

39

Fellowship and Research Opportunities in the Mathematical Sciences

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 210 KB

english, 1969

40

Symposium on Mathematical Logic

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 198 KB

english, 1969

41

Notice of the National Science Foundation

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 198 KB

english, 1969

42

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 3.72 MB

english, 1969

43

Index of Reviews

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 4.08 MB

english, 1969

44

(m + n)-Element Algebras and their Applications to Relay-Contact Systemsby M. Greniewski

Review by: Andrzej Rowicki

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 308 KB

english, 1969

45

Results Concerning some Modal Systems that Contain S2by Lennart Aqvist;Some Results on Finite Axiomatizability in Modal Logicby E. J. Lemmon;A Note on Hallden-Incompletenessby E. J. Lemmon

Review by: M. J. Cresswell

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 342 KB

english, 1969

46

Intuition und Konstruktionby B. van Rootselaar

Review by: R. E. Vesley

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 223 KB

english, 1969

47

On Machines which Prove Theoremsby E. W. Beth

Review by: D. C. Cooper

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 220 KB

english, 1969

48

On a Family of Models of Zermelo-Fraenkel Set Theoryby Bruno Scarpellini

Review by: James D. Halpern

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 232 KB

english, 1969

49

Logikby Rolf Schock

Review by: B. H. Mayoh

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 255 KB

english, 1969

50

Symposium on mathematical logic

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 76 KB

english, 1969

51

An Abstract form of the church-rosser theorem. I

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 641 KB

english, 1969

52

JSL volume 34 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 10.58 MB

english, 1969

53

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 241 KB

english, 1969

54

Fellowship and research opportunities in the Mathematical Sciences

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 76 KB

english, 1969

55

Notice of the national science foundation

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 76 KB

english, 1969

56

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 2.54 MB

english, 1969

57

Index of Reviews

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 2.93 MB

english, 1969