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

1

An Unsolvable Problem of Elementary Number Theoryby Alonzo Church

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 285 KB

english, 1936

2

New Foundations for Mathematical Logicby W. V. Quine

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 342 KB

english, 1937

3

Russell's Mathematical Logicby Kurt Gödel

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1946

Language:

english

File:

PDF, 688 KB

english, 1946

4

The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesisby Kurt Gödel

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 310 KB

english, 1940

5

A Note on the Entscheidungs Problemby Alonzo Church

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 186 KB

english, 1936

6

Introduction to the Philosophy of Mathematicsby Evert W. Beth

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1943

Language:

english

File:

PDF, 528 KB

english, 1943

7

A Reinterpretation of Schonfinkel's Logical Operatorsby W. V. Quine

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 305 KB

english, 1936

8

Cours de Logique et Philosophie Générale. I. Méthodologie de la Physique Théorique Moderne. II. Notions de Logistique.by Jean-Louis Destouches; Marie-Therese Pasturaud; Jeannine Viard

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 520 KB

english, 1948

9

On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functionsby J. C. C. McKinsey

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 298 KB

english, 1936

10

Modalities and Quantificationby Rudolf Carnap

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 354 KB

english, 1948

11

Some Properties of Conversionby Alonzo Church; J. B. Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 294 KB

english, 1936

12

Extensions of some Theorems of Gödel and Churchby Barkley Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 367 KB

english, 1937

13

Untersuchungen zum Prädikatenkalkul.by Oiva Ketonen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1945

Language:

english

File:

PDF, 650 KB

english, 1945

14

Les Concepts Mathématiques sont-ils Inventes ou Découverts? (Discours d'Ouverture du Président Annuel de la S. H. S. N.).by Séverin Bays

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 208 KB

english, 1948

15

The Consistency of the Axiom of Choice and of the Generalized Continuum- Hypothesis with the Axioms of Set Theoryby Kurt Gödel; George W. Brown

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 424 KB

english, 1941

16

Essai sur Les Notions de Structure et D'Existence en Mathématiques.by Albert Lautman

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 512 KB

english, 1940

17

On the Consistency of Quine's New Foundations for Mathematical Logicby Barkley Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 352 KB

english, 1940

18

The System LDby Haskell B. Curry;On the Definition of Negation by a Fixed Proposition in Inferential Calculusby Haskell B. Curry

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1953

Language:

english

File:

PDF, 361 KB

english, 1953

19

Meaning and Necessity. A Study in Semantics and Modal Logicby Rudolf Carnap

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 815 KB

english, 1950

20

Die Widerspruchsfreiheit der reinen Zahlentheorieby Gerhard Gentzen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 203 KB

english, 1936

21

Über Endliche Mengen.by Paul Lorenzen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 284 KB

english, 1952

22

Review of Saarnio's Untersuchungen zur Symbolischen Logik I, Kritik des Nominalismus und Grundlegung der Logistischen Zeichentheorie (Symbologie)by G. Mannoury;Le Congres International de Philosophie (du 15 au 23 septembre 1935)by Albert Lautman;Beitrage zum Entscheidungsproblem der mathematischen Logikby Wilhelm Ackermann

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1936

Language:

english

File:

PDF, 263 KB

english, 1936

23

Rapports Entre le Calcul des Problèmes et le Calcul des Propositions.by Paulette Destouches-Février

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1947

Language:

english

File:

PDF, 324 KB

english, 1947

24

A Propos de la Nature de la Négation en Logique.by Antoinette Virieux-Reymond

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1947

Language:

english

File:

PDF, 250 KB

english, 1947

25

Ein Allgemeiner Kalkülbegriff.by Karl Schröter

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1944

Language:

english

File:

PDF, 207 KB

english, 1944

26

A New Definition of Truthby J. C. C. McKinsey

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 430 KB

english, 1951

27

Einleitung in die Philosophie. Eine Einübung des Geistes.by Max Bense

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 206 KB

english, 1951

28

Études sur les Règles d'Inférence dites Règles de Gentzen. Deuxième Partie.by Hugues LeBlanc

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 369 KB

english, 1967

29

Etudes sur les Regles d'Inference Dites "Regles de Gentzen."by Hugues Leblanc

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 114 KB

english, 1962

30

A Note on the Redundant Axiom of Principia Mathematicaby Peter Nidditch

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 342 KB

english, 1971

31

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931by Jean van Heijenoort

Review by: Paul Bernays

Journal:

The Journal of Philosophy

Year:

1970

Language:

english

File:

PDF, 103 KB

english, 1970

32

Beiträge zur Reduktionstheorie des logischen Entscheidungsproblems.by Józef Pepis

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 337 KB

english, 1937

33

Definition by Indication in Quine's New Foundations for Mathematical Logicby Barkley Rosser

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 236 KB

english, 1940

34

Ensembles, Espèces et Logique.by François Moch

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 200 KB

english, 1951

35

Sur la Notion D'Adéquation et le Calcul Minimal de Johansson.by Paulette Destouches-Février

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1949

Language:

english

File:

PDF, 383 KB

english, 1949

36

Sur les Rapports Entre la Logique et la Physique Théorique.by Paulette Destouches-Février;Logique Adaptee aux Theories Quantiquesby Paulette Destouches-Fevrier

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1949

Language:

english

File:

PDF, 339 KB

english, 1949

37

Including an Update to A Bibliography of Symbolic Logic || Ein Verfahren der Mathematischen Logikby Jozef Pepis

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1938

Language:

english

File:

PDF, 268 KB

english, 1938

38

Including an Update to A Bibliography of Symbolic Logic || Untersuchungen uber das Entscheidungsproblem der Mathematischen Logikby Jozef Pepis

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1938

Language:

english

File:

PDF, 284 KB

english, 1938

39

Directions nouvelles de la Logistique aux États-Unis.by R. Feys

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 196 KB

english, 1937

40

The Theory of Classes. A Modification of von Neumann's Systemby Raphael M. Robinson

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 198 KB

english, 1937

41

Mengentheoretische Begründung der Logik.by Wilhelm Ackermann

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1938

Language:

english

File:

PDF, 234 KB

english, 1938

42

Signification Profonde du Principe de Decomposition Spectraleby Paulette Destouches-Février

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1949

Language:

english

File:

PDF, 192 KB

english, 1949

43

Discontinu et Continuby A. Fraenkel

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1938

Language:

english

File:

PDF, 206 KB

english, 1938

44

Set-Theoretic Foundations for Logicby W. V. Quine

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 348 KB

english, 1937

45

The Consistency of the Ramified Principiaby Frederic B. Fitch

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1939

Language:

english

File:

PDF, 313 KB

english, 1939

46

Sur les Règles de Composabilit

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1947

Language:

english

File:

PDF, 383 KB

english, 1947

47

Eine Neue Gestalt der Grundlagenforschungby Heinrich Scholz

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1947

Language:

english

File:

PDF, 437 KB

english, 1947

48

Was Will Die Formalisierte Grundlagenforschung?by Heinrich Scholz

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1944

Language:

english

File:

PDF, 214 KB

english, 1944

49

Axiomatisierung der Fregeschen Aussagenkalkuleby Karl Schroter

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1944

Language:

english

File:

PDF, 203 KB

english, 1944

50

Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorieby Gerhard Gentzen

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1944

Language:

english

File:

PDF, 411 KB

english, 1944