A Weak Constructive Sequential Compactness Property and the Fan Theorem

From MaRDI portal
Publication:5693110