Embeddings of Heyting algebras

Authors
Publication date 1996
Host editors
  • W. Hodges
  • M. Hyland
  • C. Steinhorn
  • J. Truss
Book title Logic: from foundations to applications
Book subtitle European logic colloguium
ISBN
  • 0198538626
Pages (from-to) 187-214
Publisher Oxford: Clarendon Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Language English
Other links https://zbmath.org/?q=an:0857.03041
Permalink to this page
Back