Compactness and Continuity, Constructively Revisited

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-45793-3_7 ◽

2002 ◽

pp. 89-102 ◽

Cited By ~ 4

Author(s):

Douglas Bridges ◽

Hajime Ishihara ◽

Peter Schuster

Download Full-text