Document Preview

Computability of Heyting algebras and distributive lattices

Turlington, Amy. 
 University of Connecticut ProQuest Dissertations Publishing,  2010. 3415568.