scientific article
From MaRDI portal
Publication:3898484
zbMATH Open0452.03031MaRDI QIDQ3898484
René Lavendhomme, Thierry Lucas
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
This page was built for publication: