Model-theoretic studies on subsystems of second order arithmetic
Author(s)
Bibliographic Information
Model-theoretic studies on subsystems of second order arithmetic
(Tohoku mathematical publications, no. 17)
Tohoku University, 2000
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Presented as the author's thesis (doctoral) -- Tohoku University, March 2000
Includes bibliographical references (p. 61-63)