Amanote Research
Register
Sign 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
Mathematics
Applied Mathematics
The Omega Rule Is Π11-Complete in the Λβ-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science