Paradoxes

Foundations of Constructive Analysis.

Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations

Natural Sciences, Computer Science, Mathematics +4

An extension of basic logic

Frederic B. Fitch · Journal of Symbolic Logic · 1948 · 24 citations

Humanities, Mathematics, Formal Methods +11

Constructive definition of certain analytic sets of numbers

P. Lorenzen, John Myhill · Journal of Symbolic Logic · 1959 · 21 citations

Natural Sciences, Mathematics, Algebra +10