scientific article; zbMATH DE number 761279
From MaRDI portal
Publication:4835614
zbMath0819.03029MaRDI QIDQ4835614
Xavier Caicedo, Antonio M. A. Sette
Publication date: 6 June 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke-Joyal semanticsintuitionistic connectiveselementary equivalence between sheaves of structures over a topological space
This page was built for publication: