TY - BOOK AU - Mikkeksen C J TI - Lattice theoretic and logical aspects of elementary topoi U1 - 514 PY - 1976/// CY - Aarhus PB - The university KW - Lattice theory KW - Topoi ER -