QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES

DOI10.1017/S1755020319000170zbMath1445.03007OpenAlexW2935729958MaRDI QIDQ5241228

Could not fetch data.

Publication date: 30 October 2019

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000170

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.