## Boolean Algebras and Distributive Lattices Treated Constructively (1999)

by
John L. Bell

Venue: | Mathematical Logic Quarterly 45 |

Citations: | 1 - 1 self |