vix.ing
·
top
·
new
·
best
·
stats
·
spec
Ferreira, Fernando
On the removal of weak compactness arguments in proof mining
2018/10/02 by
Ferreira, Fernando
,
Leustean, Laurentiu
,
Pinto, Pedro
· 2 citations
#03F10
#03F35
#47H09
#47H10
#47H25
#47J25
#FOS: Mathematics
#Logic (math.LO)