On the removal of weak compactness arguments in proof mining
1993 ◽
Vol 54
(3)
◽
pp. 334-351
◽
1980 ◽
Vol 29
(4)
◽
pp. 399-406
1966 ◽
Vol 17
(1)
◽
pp. 148-148
◽
2010 ◽
Vol 182
(3)
◽
pp. 585-604
◽
2015 ◽
Vol 144
(1)
◽
pp. 103-108
◽
Keyword(s):
1999 ◽
Vol 42
(2)
◽
pp. 139-148
◽