1978]: 'Choice implies excluded middle', Zeit. Logik und Grundlagen der (0)

by N D GOODMAN, J MYHILL
Venue:Math