Login / Signup

Complements of Intersections in Constructive Mathematics.

Douglas S. BridgesHajime Ishihara
Published in: Math. Log. Q. (1994)
Keyphrases