scientific article; zbMATH DE number 1088204

From MaRDI portal

Publication:4364519

Jump to:navigation, search

zbMath0887.03003MaRDI QIDQ4364519

Tomasz Połacik

Publication date: 6 May 1998

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

zbMATH Keywords

intuitionistic logic propositional quantification topological interpretation

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4364519&oldid=18360057"