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