ML-1993-14: Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (superseded by ML-1995-06) 1.Full Text. < Back
