Paul Bernays

发表

The Foundations of Geometry

David Hilbert, Paul Bernays, D. Hilbert, 1903, The Mathematical Gazette.

Review: Alonzo Church, A Note on the Entscheidungs Problem

Paul Bernays, P. Bernays, 1936 .

Review: Kurt Godel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis

Paul Bernays, P. Bernays, 1940 .

Foundations of Mathematics Vol . 2 ( 1939 )

Paul Bernays, 2002 .

On the Problem of Schemata of Infinity in Axiomatic Set Theory

Paul Bernays, P. Bernays, 1976 .

Review: Kurt Godel, Consistency-Proof for the Generalized Continuum-Hypothesis

Paul Bernays, 1940 .

Church Alonzo and Rosser J. B.. Some properties of conversion. Transactions of the American Mathematical Society, vol. 39 (1936), pp. 472–482.

Paul Bernays, P. Bernays, 1936, Journal of Symbolic Logic.

Review: Alonzo Church, J. B. Rosser, Some Properties of Conversion

Paul Bernays, P. Bernays, 1936 .

Philosophy of mathematics: On platonism in mathematics

Paul Bernays, 1984 .

Axiomatic Set Theory

Paul Bernays, Paul Bernays, 1991 .

Review: Rudolf Carnap, Meaning and Necessity. A Study in Semantics and Modal Logic

Paul Bernays, 1950 .

Review: W. V. Quine, New Foundations for Mathematical Logic

Paul Bernays, P. Bernays, 1937 .

Investigations into Logical Deduction

Gerhard Gentzen, M. E. Szabo, Paul Bernays, 1970 .

Rudolf Carnap. Meaning and necessity. A study in semantics and modal logic . The University of Chicago Press, Chicago1947, viii + 210 pp.

Paul Bernays, 1950 .

Investigations into Logical Deduction.Introduction

Gerhard Gentzen, M. E. Szabo, Paul Bernays, 1970 .

Axiomatic Set Theory.@@@Studies in Logic and the Foundations of Mathematics.

Evert W. Beth, A. Heyting, Abraham Adolf Fraenkel, 1960 .

On the Original Gentzen Consistency Proof for Number Theory

Paul Bernays, 1970 .