Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 27; Issue 1

Main
Journal of Symbolic Logic
Volume 27; Issue 1

Journal of Symbolic Logic

Volume 27; Issue 1

1

Syllogism and Quantification

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 569 KB

english, 1962

2

The Pure Calculus of Entailment

Alan Ross Anderson and Nuel D. Belnap, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 949 KB

english, 1962

3

On Mathematical Inductionby Leon Henkin

Review by: H. Hermes

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 134 KB

english, 1962

4

Volume Information

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 143 KB

english, 1962

5

Insolubility of the Problem of Homeomorphyby A. A. Markov

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 103 KB

english, 1962

6

Intentionality and the Theory of Signsby Roderick M. Chisholm

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 100 KB

english, 1962

7

Front Matter

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 119 KB

english, 1962

8

Quasi-Truth-Functional Systems of Propositional Logic

Nicholas Rescher

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 387 KB

english, 1962

9

Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 336 KB

english, 1962

10

Note on Słupecki T-Functions

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 110 KB

english, 1962

11

On Post's Canonical Systems

Raymond M. Smullyan

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 161 KB

english, 1962

12

The Foundations of Mathematics, A Study in the Philosophy of Scienceby Evert W. Beth

Review by: A. Nerode and Raymond M. Smullyan

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 159 KB

english, 1962

13

Urgent Problems of Scientific Research and Educational Work in the Field of Logicby É. K. Vojšvillo; A. V. Kuznécov; D. G. Lahuti; V. K. Finn

Review by: David Dinsmore Comey

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 126 KB

english, 1962

14

Vvédénié v Matématičéskuú Logiku.by Alonzo Church

Review by: James G. Renno, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 95 KB

english, 1962

15

Lineamenti di Logica Matematicaby Ettore Casari

Review by: Amedeo G. Conte

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 126 KB

english, 1962

16

Essai d'une Présentation de la Logique Combinatoire.by Joseph Dopp

Review by: J. Barkley Rosser

Journal:

Journal of Symbolic Logic

Année:

1962

Fichier:

PDF, 94 KB

1962

17

The Axiomatization of Arithmeticby Hao Wang

Review by: Roger Martin

Journal:

Journal of Symbolic Logic

Année:

1962

Fichier:

PDF, 129 KB

1962

18

Mathematical Logic: Constructive and Non-Constructive Operationsby S. C. Kleene

Review by: Julia Robinson

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 98 KB

english, 1962

19

Ordinal Logics and the Characterization of Informal Concepts of Proofby G. Kreisel

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 98 KB

english, 1962

20

La Prédicativité.by Georges Kreisel

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 125 KB

english, 1962

21

Alternative Proof of a Theorem of Kleeneby Hao Wang

Review by: J. C. E. Dekker

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 138 KB

english, 1962

22

Quantification of Number-Theoretic Functionsby S. C. Kleene

Review by: A. Nerode

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 101 KB

english, 1962

23

Recursive Functionals and Quantifiers of Finite Types Iby S. C. Kleene

Review by: A. Nerode

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 141 KB

english, 1962

24

Graphschemata und Rekursive Funktionenby Rózsa Péter;Über die Partiell-Rekursivität der durch Graphschemata Definierten Zahlentheoretischen Funktionen.by Rósza Péter

Review by: Paul Axt

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 103 KB

english, 1962

25

Recursive Functions over Well-Ordered Partial Orderingsby Hartley Rogers, Jr

Review by: J. R. Shoenfield

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 140 KB

english, 1962

26

Some Theorems on Classes of Recursively Enumerable Setsby J. C. E. Dekker; J. Myhill

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 100 KB

english, 1962

27

Retraceable Setsby J. C. E. Dekker; J. Myhill

Review by: A. Nerode

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 134 KB

english, 1962

28

Degrees of Unsolvability Associated with Classes of Formalized Theoriesby Solomon Feferman;Degrees of Formal Systemsby J. R. Shoenfield

Review by: Hartley Rogers, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 135 KB

english, 1962

29

Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.by László Kalmár

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 135 KB

english, 1962

30

Normierte Postsche Algorithmenby Günter Asser

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 129 KB

english, 1962

31

On the Recursive Functions of Ordinal Numbersby Gaisi Takeuti

Review by: Kurt Schütte

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 95 KB

english, 1962

32

On Transfinite Inferencesby Setsuya Seki

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 134 KB

english, 1962

33

General Recursive Functions in the Number-Theoretic Formal Systemby Shôji Maehara

Review by: J. R. Shoenfield

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 97 KB

english, 1962

34

Open Sentences and the Inducation Axiomby J. R. Shoenfield

Review by: Hartley Rogers, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 128 KB

english, 1962

35

Einstellige Funktionen als Grundbegriffe der Elementaren Zahlentheorieby Klaus Härtig

Review by: Julia Robinson

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 93 KB

english, 1962

36

Naturliche Zahlen, Ordnung, Nachfolgeby Walter Felscher; Jürgen Schmidt

Review by: B. Germansky

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 131 KB

english, 1962

37

What is Elementary Geometry?by Alfred Tarski

Review by: John van Heijenoort

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 97 KB

english, 1962

38

On the Extending of Models (I)by J. Łos;On the Extending of Models (II). Common Extensionsby J. Łos; R. Suszko;On the Extending of Models (III). Extensions in Equationally Definable Classes of Algebrasby J. Slominski;On the Extending of Models (IV). Infinite Sums of Modelsby J. Los; R. Suszko

Review by: H. Jerome Keisler

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 178 KB

english, 1962

39

Note on a Problem of L. Henkinby Abraham Robinson

Review by: C. C. Chang

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 91 KB

english, 1962

40

Model Theory for the Higher Order Predicate Calculusby Steven Orey

Review by: Kurt Schütte

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 91 KB

english, 1962

41

Completeness of Algebraic Systems in Higher Order Calculiby Simon Kochen

Review by: R. L. Vaught

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 95 KB

english, 1962

42

The Notion of Universal Completenessby Hugo Ribeiro

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 95 KB

english, 1962

43

On the Isomorphism of Lindenbaum Algebras with Fields of Setsby H. Rasiowa; R. Sikorski

Review by: Alfred Horn

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 102 KB

english, 1962

44

Function Latticesby Frank W. Anderson

Review by: Alfred Horn

Journal:

Journal of Symbolic Logic

Année:

1962

Fichier:

PDF, 149 KB

1962

45

Free Products of$\propto$-Distributive Boolean Algebrasby D. J. Christensen; R. S. Pierce

Review by: C. C. Chang

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 142 KB

english, 1962

46

A Generalization of Atomic Boolean Algebrasby R. S. Pierce

Review by: Carol R. Karp

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 100 KB

english, 1962

47

Representation Theorems for Certain Boolean Algebrasby R. S. Pierce

Review by: Carol R. Karp

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 141 KB

english, 1962

48

Statistical Estimation of Provability in Boolean Logic

Review by: A. A. Mullin

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 146 KB

english, 1962

49

Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristicby A. Newell; J. C. Shaw; H. A. Simon

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 169 KB

english, 1962

50

Programming the Logic Theory Machineby A. Newell; J. C. Shaw

Review by: Abraham Robinson

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 126 KB

english, 1962

51

Symbolic Representations of Calculating Machinesby Hao Wang

Review by: C. C. Elgot

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 126 KB

english, 1962

52

The Quine Algorithmby R. Fridshal

Review by: Thomas H. Mott, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 126 KB

english, 1962

53

Boolean Algebra and Its Applicationsby J. Eldon Whitesitt

Review by: Thomas H. Mott, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 159 KB

english, 1962

54

Applied Boolean Algebra. An Elementary Introductionby Franz E. Hohn

Review by: Thomas H. Mott, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 163 KB

english, 1962

55

Iterative Arrays of Logical Circuitsby Frederick C. Hennie III

Review by: Albert A. Mullin

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 135 KB

english, 1962

56

On Superposition of Contact Circuitsby A. G. Lunc

Review by: Paweł Szeptycki

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 138 KB

english, 1962

57

A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domainsby Theodore Hailperin

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 139 KB

english, 1962

58

Gentzen's Theorem on an Extended Predicate Calculusby Shôji Maehara

Review by: Kurt Schütte

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 97 KB

english, 1962

59

The Predicate Calculus with ε-Symbolby Shôji Maehara

Review by: Kurt Schütte

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 97 KB

english, 1962

60

Completeness Results for Formal Systemsby E. W. Beth

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 102 KB

english, 1962

61

Concerning Formulas of the Types A → B v C, A → (Ex) B(x) in Intuitionistic Formal Systemsby Ronald Harrop

Review by: T. Thacher Robinson

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 138 KB

english, 1962

62

Independence of Tarski's Law in Henkin's Propositional Fragmentsby Ivo Thomas

Review by: Hugues Leblanc

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 98 KB

english, 1962

63

Functional Completeness of Henkin's Propositional Fragmentsby Ivo Thomas

Review by: Hugues Leblanc

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 98 KB

english, 1962

64

Axiomatization of Infinite Valued Logicsby J. Barkley Rosser

Review by: Robert McNaughton

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 140 KB

english, 1962

65

Fundamentos en Relación con Lógica Simbólica Polivalente.by Maria de la Cinta Badillo

Review by: John van Heijenoort

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 104 KB

english, 1962

66

Aplicación de la Lógica Polivalente a la Teoría de Números.by Maria de la Cinta Badillo Barallat

Review by: John van Heijenoort

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 104 KB

english, 1962

67

Automatización de los Silogismos en una Lógica Polivalente.by M. C. Badillo Barallat

Review by: John van Heijenoort

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 120 KB

english, 1962

68

Axioms for the "Gergonne"-Relationsby Ivo Thomas; Don Orth

Review by: Robert Blanché

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 104 KB

english, 1962

69

Independence of Faris-Rejection-Axiomsby Ivo Thomas

Review by: Hugues Leblanc

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 104 KB

english, 1962

70

Conditional Permission in Deontic Logicby Nicholas Rescher;Reply to Mr. Rescherby Alan Ross Anderson

Review by: E. J. Lemmon

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 162 KB

english, 1962

71

Can doubt be Doubted?by Sibajiban

Review by: E. J. Lemmon

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 120 KB

english, 1962

72

The Syntax of Time-Distinctionsby A. N. Prior

Review by: S. Kanger

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 158 KB

english, 1962

73

On Two Logical Systems Proposed in the Philosophy of Quantum-Mechanicsby Håkan Törnebohm

Review by: Hilary Putnam

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 100 KB

english, 1962

74

Enthymemesby Alan Ross Anderson; Nuel D. Belnap, Jr

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 137 KB

english, 1962

75

On the Philosophical Interpretation of Logic: An Aristotelian Dialogueby P. Banks

Review by: Ivo Thomas

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 100 KB

english, 1962

76

Professor Henle on the Four Figures of Syllogismby George Kimball Plochmann

Review by: Henry W. Johnstone, Jr.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 102 KB

english, 1962

77

Zagadnienie Nazw Pustych w Sylogistyce Arystotelesa w Swietle "Ontologii" Lesniewskiego (Das Problem der Leeren Namen in der Syllogistik im Lichte der "Ontologie" von Lesniewski)by Witold Michalowski

Review by: Czesław Lejewski

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 103 KB

english, 1962

78

The Systems of Leśniewski in Relation to Contemporary Logical Research.by Andrzej Grzegorczyk

Review by: A. N. Prior

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 142 KB

english, 1962

79

Language as Existentby Harry A. Nielsen

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 102 KB

english, 1962

80

Objects, Properties, and Relations in the Tractatusby Irving M. Copi;Mr. Copi on Objects, Properties and Relations in the Tractatusby G. E. M. Anscombe;About "aRb"by Ellis Evans

Review by: Jonathan Bennett

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 175 KB

english, 1962

81

Tractatus 5.542by Irving M. Copi

Review by: Jonathan Bennett

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 100 KB

english, 1962

82

Reducibility and Intentional Wordsby Philip Nochlin

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 94 KB

english, 1962

83

On the Uses of Intentional Wordsby Roderick M. Chisholm

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 94 KB

english, 1962

84

Can Operators Reach Through Quotes?by Hans Reichenbach

Review by: William Craig

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 132 KB

english, 1962

85

Methodology of the Empirical Sciencesby Alfred Morton Bork

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 100 KB

english, 1962

86

Perceiving: A Philosophical Studyby Roderick M. Chisholm

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 128 KB

english, 1962

87

Sul Concetto di Esperienzaby Nicola Abbagnano

Review by: Ferruccio Rossi-Landi

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 127 KB

english, 1962

88

Dimensions of Knowledgeby Paul Oppenheim;A Comment on Dr. Paul Oppenheim's "Dimensions of Knowledge."by Charles Morris;An Empirical Study Related to "Dimensions of Knowledge."by Frederick R. Kling;A Note on "Fort et Étroit" and "Ample et Faible."by Sylvain Bromberger

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 103 KB

english, 1962

89

A Physicist's Thoughts on the Formal Structure and Psychological Motivation of Theory and Observationby Jerome Rothstein

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 102 KB

english, 1962

90

Aesthetics and the Gestaltby Ian Rawlins

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 126 KB

english, 1962

91

International Symposium on the Theory of Models

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 106 KB

english, 1962

92

Notice

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 75 KB

english, 1962

93

Henkin Leon. Two concepts from the theory of models. The journal of symbolic logic, vol. 21 (1956), pp. 28–32.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 154 KB

english, 1962

94

Lévy Azriel. Axiom schemata of strong infinity in axiomatic set theory. Pacific journal of mathematics, vol. 10 (1960), pp. 223–238.

Shepherdson, J. C.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 156 KB

english, 1962

95

McGee C. Douglas. Who means what by ‘synonymy’? Inquiry, vol. 2 (1959), pp. 199–212.

Robbins, Beverly

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 117 KB

english, 1962

96

Errata

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 122 KB

english, 1962

97

Equality Axiom on Hilbert's ε-Symbolby Shôji Maehara

Review by: Kurt Schütte

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 168 KB

english, 1962

98

On Lukasiewicz's L-Modal Systemby Timothy Smiley

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 135 KB

english, 1962

99

Induction and Hypothesis, A Study of the Logic of Confirmationby S. F. Barker

Review by: Lars Svenonius

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 164 KB

english, 1962

100

Remarks on the Truth Definitionby Gaisi Takeuti

Review by: Gebhard Fuhrken

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 133 KB

english, 1962

101

On the Construction of Venn Diagramsby Trenchard More, Jr

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 136 KB

english, 1962

102

The Classical and the ω-Complete Arithmeticby A. Grzegorczyk; A. Mostowski; C. Ryll-Nardzewski

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 163 KB

english, 1962

103

Applications to Field Theoryby Abraham Robinson

Review by: C. C. Chang

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 127 KB

english, 1962

104

Lógica Trivalente en la Automatización de los Circuitos.by M. C. Badillo

Review by: John van Heijenoort

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 178 KB

english, 1962

105

Maehara Shôji. Über die rekursive Einführung der Funktionen in der reinen Zahlentheorie. Proceedings of the Japan Academy, vol. 33 (1957), pp. 111–113.

Shoenfield, J. R.

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 76 KB

english, 1962

106

JSL volume 27 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 8.99 MB

english, 1962

107

Errata

Journal:

Journal of Symbolic Logic

Année:

1962

Fichier:

PDF, 54 KB

1962

108

International symposium on the theory of models

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 104 KB

english, 1962

109

Notice of a meeting of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 45 KB

english, 1962

110

Fellowship and research opportunities in mathematics

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 45 KB

english, 1962

111

Elections

Journal:

Journal of Symbolic Logic

Année:

1962

Langue:

english

Fichier:

PDF, 45 KB

english, 1962

112

Notice

Journal:

Journal of Symbolic Logic

Année:

1962

Fichier:

PDF, 22 KB

1962