Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Richard Statman

Book Review: Choice Sequences, a Chapter of Intuitionistic Mathematics

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1979English

The Omega Rule Is Π11-Complete in the Λβ-Calculus

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Related publications

Book Review: A Source Book in Mathematics

Bulletin of the American Mathematical Society
1932English

Book Review: A Manual of Mathematics

Bulletin of the American Mathematical Society
1918English

Book Review: Mathematics & Climate

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
2014English

Book Review: A Manual of Greek Mathematics

Bulletin of the American Mathematical Society
1931English

Book Review: Mathematics of Medical Imaging

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
2004English

Book Review: Mathematics of Computation 1943--1993: A Half-Century of Computational Mathematics

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1997English

Book Review: Four Lectures on Mathematics

Bulletin of the American Mathematical Society
1917English

Book Review: Mathematics in Liberal Education

Bulletin of the American Mathematical Society
1929English

Book Review: Junior High School Mathematics

Bulletin of the American Mathematical Society
1920English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy