Mathematical Logic and Foundations (ML) Series (1988-1998)

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