Volume 23; Issue 2

Main
Journal of Symbolic Logic
Volume 23; Issue 2

Journal of Symbolic Logic

Volume 23; Issue 2

1

Foundational Aspects of Theories of Measurement

Dana Scott and Patrick Suppes

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 538 KB

english, 1958

2

Peirce's Axioms for Propositional Calculus

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 544 KB

english, 1958

3

Reductions of Hilbert's Tenth Problem

Martin Davis and Hilary Putnam

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 159 KB

english, 1958

4

How I see Philosophyby F. Waismann;The Province of Logicby William Kneale

Review by: Gert H. Müller

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 117 KB

english, 1958

5

The Province of Logicby William Kneale;An Introduction to Deductive Logicby Hugues Leblanc

Review by: Maurice L'Abbé

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 151 KB

english, 1958

6

Überprüfung Einer Frühen Anwendung Der Kombinatorik in Der Logik

Kurt-R. Biermann and Jürgen Mau

Journal:

Journal of Symbolic Logic

Year:

1958

File:

PDF, 173 KB

1958

7

A 12th Century Paradox of the Infinite

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 99 KB

english, 1958

8

Generalization of a Lemma of G. F. Rose

I. L. Gál, J. B. Rosser and D. Scott

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 105 KB

english, 1958

9

Simplified Axioms for Many-Valued Quantification Theory

Atwell R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 344 KB

english, 1958

10

Mathematical Significance of Consistency Proofs

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 855 KB

english, 1958

11

The Classical and the ω-Complete Arithmetic

A. Grzegorczyk, A. Mostowski and C. Ryll-Nardzewski

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 622 KB

english, 1958

12

Logic, Symbolicby W. V. Quine

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 149 KB

english, 1958

13

The Rational and the Empiricalby Richard I. Aaron

Review by: Gert H. Müller

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 88 KB

english, 1958

14

The Theory of Proper Names. A Controversial Essayby Alan H. Gardiner

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 89 KB

english, 1958

15

A Whiteheadian Analysis of Propositions and Factsby Martin A. Greenman

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 118 KB

english, 1958

16

Logic Workbookby James Wilkinson Miller

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 87 KB

english, 1958

17

A Note on Empiricismby Thomas Storer;Professor Storer on Empiricismby Herbert Hochberg;A Comment on Hochberg's Reply to Storerby David Karl Kauf

Review by: John Van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 120 KB

english, 1958

18

Formal Logic and the "Fringe."by Ray H. Dotterer;Reply to Professor Dottererby W. T. Parry

Review by: John van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 91 KB

english, 1958

19

Ordinali Transfiniti e Principio del Terzo Escluso (A Proposito di un Ragionamento del Gödel.)by Lucio Lombardo-Radice

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 120 KB

english, 1958

20

Ein Kriterium fur die Erweiterbarkeit einer Implikation zu Einer Aquivalenzby H. Wendelin

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 88 KB

english, 1958

21

Hypothese du Continuby Wacław Sierpiński

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 88 KB

english, 1958

22

Zur Axiomatik der Mengenlehreby Wilhelm Ackermann

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 118 KB

english, 1958

23

A Contribution to Gödel's Axiomatic Set-Theory, I.by Ladislav Rieger

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 121 KB

english, 1958

24

On a Generalization of Quantifiersby A. Mostowski

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 90 KB

english, 1958

25

Ein Spezialfall der Substitution als Grundbeziehung der Elementaren Semiotikby Klaus Härtig

Review by: H. Hermes

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 133 KB

english, 1958

26

L'Application de la Logique Formelle aux Mathématiques.by Abraham Robinson;Discussionby G. Kurepa; G. Kreisel; A. Robinson

Review by: Robert L. Vaught

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 149 KB

english, 1958

27

Algebraic Logic, I. Monadic Boolean Algebrasby Paul R. Halmos

Review by: Roland Fraïssé

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 211 KB

english, 1958

28

Algebraic Logic II. Homogeneous Locally Finite Polyadic Boolean Algebras of Infinite Degreeby Paul R. Halmos

Review by: Roland Fraïssé

Journal:

Journal of Symbolic Logic

Year:

1958

File:

PDF, 134 KB

1958

29

Polyadic Boolean Algebrasby Paul R. Halmos

Review by: Roland Fraisse

Journal:

Journal of Symbolic Logic

Year:

1958

File:

PDF, 96 KB

1958

30

The Basic Concepts of Algebraic Logicby Paul R. Halmos

Review by: Roland Fraisse

Journal:

Journal of Symbolic Logic

Year:

1958

File:

PDF, 96 KB

1958

31

The Validity of Equations of Complex Algebrasby N. D. Gautam

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 128 KB

english, 1958

32

Effective Computability of Winning Strategiesby Michael O. Rabin

Review by: Patrick Suppes

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 128 KB

english, 1958

33

On Separability of Recursively Enumerable Setsby A. A. Mućnik

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 197 KB

english, 1958

34

On Algorithmic Reducibilityby V. A. Uspénskij

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 128 KB

english, 1958

35

Two Recursively Enumerable Sets of Incomparable Degrees of Unsolvability (Solution of Post's Problem, 1944)by R. M. Friedberg

Review by: Hartley Rogers, Jr.

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 164 KB

english, 1958

36

Sur le Semi-Réseau Constitué par les Degrés d'Indécidabilité Récursive.by Daniel Lacombe

Review by: Hartley Rogers, Jr.

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 95 KB

english, 1958

37

Uber Ein Problem, Betreffend die Definition des Begriffes der Allgemein-Rekursiven Funktionby László Kalmár

Review by: Paul Axt

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 92 KB

english, 1958

38

Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculusby R. L. Goodstein

Review by: Th. Skolem

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 123 KB

english, 1958

39

The Logical Background of Arithmeticby Th. Skolem

Review by: H. G. Rice

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 90 KB

english, 1958

40

Some Considerations Concerning Recursive Arithmeticby Th. Skolem

Review by: H. G. Rice

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 90 KB

english, 1958

41

Espace de Hilbert et Intuitionnismeby A. Heyting;Discussionby Paul Bernays; H. Hermes; A. Heyting; Ingebrigt Johansson; Abraham Robinson

Review by: Sigekatu Kuroda

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 125 KB

english, 1958

42

Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.by G. Kreisel; H. Putnam

Review by: T. Thacher Robinson

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 93 KB

english, 1958

43

Zur Interpretation der Syllogistikby Paul Lorenzen

Review by: Klaus Härtig

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 125 KB

english, 1958

44

Logika Stosunkow Zakresowych (Rachunek Zdan Zakresowych)by Zdzislaw Kraszewski;Logika Obemnyh Otnosenij (Iscislenie Obemnyh Predlozenij)by Z. Kraszewski;Logic of Extensional Relationsby Z. Kraszewski

Review by: Klaus Härtig

Journal:

Journal of Symbolic Logic

Year:

1958

File:

PDF, 134 KB

1958

45

An Algebraic Method of Analysis of Autonomic Systems of Two-Positional Relays. I

Review by: A. Wakulicz

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 132 KB

english, 1958

46

Calculation of the Unutilized States in the Synthesis of Switching Circuitsby V. N. Roginskij

Review by: A. Wakulicz

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 119 KB

english, 1958

47

Matrix Methods of Analysis of Relay Circuits with Resistance Conditionsby G. N. Povarov

Review by: Paweł Szeptycki

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 147 KB

english, 1958

48

Synthesis of Bridge-Type Relay Circuits with Given Resistance Conditionsby M. A. Gavrilov

Review by: Paweł Szeptycki

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 87 KB

english, 1958

49

Selecting in Relay Networks Paths Energizing a given Effectorby M. A. Gavrilov

Review by: Zdzislaw Pawlak

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 87 KB

english, 1958

50

Determination of the Sequence of Operation of Elements in Relay Networksby M. A. Gavrilov

Review by: Zdzislaw Pawlak

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 88 KB

english, 1958

51

Theory of the Structure of Combinatorial Mechanismsby S. M. Ákovlév

Review by: Edward J. Cogan

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 90 KB

english, 1958

52

Minimization of Boolean Functionsby E. J. McCluskey,

Review by: Robert McNaughton

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 90 KB

english, 1958

53

Detection of Group Invariance or Total Symmetry of a Boolean Functionby E. J. McCluskey,

Review by: Robert McNaughton

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 88 KB

english, 1958

54

Simplification of a Class of Boolean Functionsby Edwin Hirschhorn

Review by: E. J. McCluskey, Jr.

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 558 KB

english, 1958

55

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 182 KB

english, 1958

56

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 126 KB

english, 1958

57

On Closure Under Direct Product

C. C. Chang and Anne C. Morel

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 213 KB

english, 1958

58

Tractatus Logico-Philosophicusby Ludwig Wittgenstein

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 87 KB

english, 1958

59

10.2307/2964436

Review by: A. Wakulicz

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 187 KB

english, 1958

60

JSL volume 23 issue 2 Cover and Front matter and Errata

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 2.46 MB

english, 1958

61

JSL volume 23 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 2.33 MB

english, 1958

62

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 226 KB

english, 1958