Sign in
Join Literal
Authors
Author
Hajime Ishihara
Books
Handbook of Constructive Mathematics
Douglas Bridges, Helmut Schwichtenberg, Michael Rathjen, Hajime Ishihara