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

A System of Axiomatic Set Theory--Part II

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 1.54 MB

english, 1941

3

A System of Axiomatic Set Theory--Part I

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 1.40 MB

english, 1937

4

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

5

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

6

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

7

A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 2.15 MB

english, 1942

8

A System of Axiomatic Set Theory: Part IV. General Set Theory

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 1.20 MB

english, 1942

9

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

10

A System of Axiomatic Set Theory--Part VI

Journal:

Journal of Symbolic Logic

Year:

1948

File:

PDF, 2.95 MB

1948

11

A System of Axiomatic Set Theory: Part V. General Set Theory

Journal:

Journal of Symbolic Logic

Year:

1943

Language:

english

File:

PDF, 1.99 MB

english, 1943

12

A System of Axiomatic Set Theory--Part VII

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 414 KB

english, 1954

13

Rosser Barkley. Extensions of some theorems of Gödel and Church. The journal of symbolic logic, vol. 1 (1936), pp. 87–91.

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

english

File:

PDF, 171 KB

english, 1937

14

Zum Entscheidungsproblem der mathematischen Logik

Paul Bernays, Moses Schönfinkel

Journal:

Mathematische Annalen

Year:

1928

Language:

german

File:

PDF, 1.66 MB

german, 1928

15

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

16

Axiomatische Untersuchung des Aussagen-Kalkuls der “Principia Mathematica”

Journal:

Mathematische Zeitschrift

Year:

1926

Language:

german

File:

PDF, 762 KB

german, 1926

17

Die Bedeutung Hilberts für die Philosophie der Mathematik

Journal:

Naturwissenschaften (The Science of Nature)

Year:

1922

Language:

german

File:

PDF, 1014 KB

german, 1922

18

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

19

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

20

ZUM BEGRIFF DER DIALEKTIK

Journal:

Year:

1947

Language:

german

File:

PDF, 210 KB

german, 1947

21

CONTRADICTION ET NON-CONTRADICTION

Journal:

Year:

1947

Language:

german

File:

PDF, 339 KB

german, 1947

22

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

23

Modalities and Quantificationby Rudolf Carnap

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 354 KB

english, 1948

24

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

25

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

26

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

27

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

28

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

29

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

30

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

31

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

32

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

33

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

34

The Discussion Goes On

Harry H. Field, Paul F. Lazarsfeld, Claude G. Robinson and Edward L. Bernays

Journal:

Public Opinion Quarterly

Year:

1945-1946

Language:

english

File:

PDF, 704 KB

english, 1945-1946

35

Erwiderung auf die Note von Herrn Aloys Müller: “Über Zahlen als Zeichen”

Journal:

Annalen der Philosophie und philosophischen Kritik

Year:

1924-1925

Language:

german

File:

PDF, 282 KB

german, 1924-1925

36

ZUR FRAGE DER ANKNÜPFUNG AN DIE KANTISCHE ERKENNTNISTHEORIE

Journal:

Year:

1955

Language:

german

File:

PDF, 1.41 MB

german, 1955

37

ZUR FRAGE DER ANKNÜPFUNG AN DIE KANTISCHE ERKENNTNISTHEORIE: Eine kritische Erörterung

Journal:

Year:

1955

Language:

german

File:

PDF, 2.26 MB

german, 1955

38

VON DER SYNTAX DER SPRACHE ZUR PHILOSOPHIE DER WISSENSCHAFTEN

Journal:

Year:

1957

Language:

german

File:

PDF, 740 KB

german, 1957

39

REMARKS TO “THE END OF A PHASE”

Journal:

Year:

1963

Language:

english

File:

PDF, 96 KB

english, 1963

40

Ü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

41

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

42

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

43

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

44

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

45

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

46

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

47

É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

48

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

49

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

50

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