A Weak Constructive Sequential Compactness Property and the Fan Theorem

Douglas S. Bridges. A Weak Constructive Sequential Compactness Property and the Fan Theorem. Logic Journal of the IGPL, 13(2):151-158, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: