Review by: Paul Bernays: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Ein Allgemeiner Kalkülbegriff.by Karl Schröter

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1943

Language:

english

File:

PDF, 499 KB

english, 1943

52

Einkleidung der Mathematik in Schröderschen Relativkalkul.by Leopold Löwenheim

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 334 KB

english, 1940

53

Ein Unbekannter Brief von Gottlob Frege über Hilberts erste Vorlesung über die Grundlagen der Geometrie.by Max Steck

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 319 KB

english, 1942

54

Ein System der Typenfreien Logik Iby Wilhelm Ackermann

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 382 KB

english, 1942

55

Metaphysik als Strenge Wissenschaftby Heinrich Scholz

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 294 KB

english, 1941

56

Was Ist Philosophie? Der Erste und der Letzte Schritt auf dem Wege zu Ihrer Selbstbestimmungby Heinrich Scholz

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1941

File:

PDF, 755 KB

1941

57

On the Interpretation of the Sign `$\supset$'by John Myhill

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 288 KB

english, 1955

58

Essai sur L'Unité des Sciences Mathématiques dans Leur Développement Actuel.by Albert Lautman

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 203 KB

english, 1940

59

Summulae Logicales. Supplement der Formele Logicaby E. W. Beth

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1943

Language:

english

File:

PDF, 379 KB

english, 1943

60

Interpretations of Sets of Conditionsby W. V. Quine

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 197 KB

english, 1959

61

On the Axioms of Order and Successionby Kurt Bing

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 186 KB

english, 1958

62

Creative Setsby John Myhill

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 623 KB

english, 1957

63

Solvable Cases of the Decision Problemby W. Ackermann

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 760 KB

english, 1957

64

L'Axiomatique Intuitionnisteby A. Heyting

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 352 KB

english, 1958

65

Die Mehrwertigen Logiken und das Wahrheitsproblemby Paul F. Linke

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 308 KB

english, 1952

66

A Remark on the Induction Schemeby Th. Skolem

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 290 KB

english, 1951

67

Relations Généralisées et Indépendance Logique des Notions de Refléxivité, Symetrié et Transitivité.by Karl Egil Aubert

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 104 KB

english, 1954

68

Wie Durfen wir mit dem Unendlichen Umgehen? (Die Grundlage des Mathematischen Intuitionismus.)by Arnold Schimdt

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 191 KB

english, 1952

69

A Reduction in the Number of Primitive Ideas of Arithmeticby John R. Myhill

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 195 KB

english, 1951

70

Note on an Idea of Fitchby John R. Myhill

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 307 KB

english, 1950

71

Probleme und Methoden der Beweistheorieby Kurt Schütte

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 332 KB

english, 1968

72

Expression de la Récursion Primitive dans le Calcul-$\lambda-\mathbf{K}$by Jean Ladrière

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1965

File:

PDF, 471 KB

1965

73

Écrits logiquesby Jacques Herbrand

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 328 KB

english, 1971

74

Variations on a Theme of Bernaysby John Myhill

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 376 KB

english, 1970

75

Undecidable Theoriesby Alfred Tarski

Review by: Paul Bernays

Journal:

The British Journal for the Philosophy of Science

Year:

1959

Language:

english

File:

PDF, 847 KB

english, 1959

76

Hilbertby Constance Reid

Review by: Paul Bernays

Journal:

Philosophische Rundschau

Year:

1972

Language:

german

File:

PDF, 185 KB

german, 1972

77

Vorlesungen uber die Algebra der Logik (Exacte Logik).by Ernst Schröder

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 201 KB

english, 1975

78

The Development of Logical Thoughtby R. Feys; A. Borgers

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 309 KB

english, 1951

79

Ein Axiomatisches System der Mengenlehre Nach Zermelo und Fraenkel.by Ernst-Jochen Thiele

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 194 KB

english, 1972

80

A Purely Topological Form of Non-Aristotelian Logicby Carl G. Hempel

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1938

Language:

english

File:

PDF, 323 KB

english, 1938

81

False Lemmas in Herbrandby Burton Dreben; Peter Andrews; Stål Aanderaa

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 436 KB

english, 1966

82

Constructive Formalism. Essays on the Foundations of Mathematicsby R. L. Goodstein

Review by: Paul Bernays

Journal:

The Mathematical Gazette

Year:

1954

Language:

english

File:

PDF, 216 KB

english, 1954

83

Consistency-Proof for the Generalized Continuum-Hypothesisby Kurt Gödel

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 351 KB

english, 1940

84

Der Kongelige Norske Videnskabers Selskab, Forhandlingerby Th. Skolem

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1946

Language:

english

File:

PDF, 449 KB

english, 1946

85

Another Variant of Natural Deductionby Irving M. Copi

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 438 KB

english, 1957

86

On Proving Certain Properties of the Primes by Means of the Methods of Pure Number Theoryby T. S. Broderick

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 373 KB

english, 1940