scientific article; zbMATH DE number 7599994

MaRDI QIDQ5039182

José Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano

Publication date: 12 October 2022

Full work available at URL: https://arxiv.org/abs/1910.08193

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

localic topoigeometric morphismsHeyting-valued models

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: