Amanote Research

Amanote Research

    RegisterSign In

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy