Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness

From MaRDI portal
(Redirected from Publication:2238150)