Paul Bernays

W. Ackermann. Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1954, VIII + 114 pp.

Paul Bernays · Journal of Symbolic Logic · 1957 · 284 citations

Business, Mathematics, Decision Theory +6

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

Paul Bernays · Journal of Symbolic Logic · 1937 · 200 citations

Humanities, Mathematics, Philosophy +8

A system of axiomatic set theory—Part I

Paul Bernays · Journal of Symbolic Logic · 1937 · 130 citations

Natural Sciences, Mathematics, Philosophy +13

A system of axiomatic set theory - Part VII

Paul Bernays · Journal of Symbolic Logic · 1954 · 88 citations

Natural Sciences, Mathematics, Number Theory +7

A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis

Paul Bernays · Journal of Symbolic Logic · 1942 · 83 citations

Natural Sciences, Mathematics, Number Theory +8