Subsystems of Second Order Arithmetic
Keyword(s):
Keyword(s):
1993 ◽
Vol 62
(1)
◽
pp. 51-64
◽
2010 ◽
Vol 16
(3)
◽
pp. 378-402
◽
2014 ◽
Vol 165
(2)
◽
pp. 520-551
◽