Concepedia

Barkley Rosser

BR

13

Publications

1.1K

Citations

11

H-Index

1937

Active since

Affiliations

Cornell University(Current)

Barkley Rosser is an author at Cornell University specializing in automated reasoning, formal methods, and discrete mathematics.

Top concepts

Publications per year

1937–2004

13

Publications

13

The changing face of mainstream economics

David Colander, Richard Holt, Barkley Rosser · Review of Political Economy · 2004 · 493 citations

, , +10

Explicit Bounds for Some Functions of Prime Numbers

Barkley Rosser · American Journal of Mathematics · 1941 · 195 citations

, , +2

The <i>n</i>-th Prime is Greater than <i>n</i>log<i>n</i>

Barkley Rosser · Proceedings of the London Mathematical Society · 1939 · 96 citations

The Burali-Forti paradox

Barkley Rosser · Journal of Symbolic Logic · 1942 · 73 citations

, , +7

Gödel Theorems for Non-Constructive Logics

Barkley Rosser · Journal of Symbolic Logic · 1937 · 55 citations

, , +11

Rows per page

1–5 of 13