scientific article; zbMATH DE number 1989653
From MaRDI portal
Publication:4430400
zbMath1031.03083MaRDI QIDQ4430400
Silvio Ghilardi, Marek W. Zawadowski
Publication date: 9 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication:
