Login / Signup

A constructive treatment of Urysohn's Lemma in an apartness space.

Douglas S. BridgesHannes Diener
Published in: Math. Log. Q. (2006)
Keyphrases