bases, alias the constructive content of Stone representation (1996)

by S Negri, Stone
Venue:in Logic and Algebra, A. Ursini and P. Aglianò (eds