Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mariko YASUGI
The Ordinals of the Systems of Second Order Arithmetic With the Provably Δ21-Comprehension Axiom and With the Δ21-Comprehension Axiom Respectively
Japanese journal of mathematics :transactions and abstracts