Quantifying over the reals

From MaRDI portal

Publication:1344188

Jump to:navigation, search

zbMath0813.03003MaRDI QIDQ1344188

Charles Sayward, Philip Hugly

Publication date: 9 February 1995

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

intuitionism quantification over the real numbers substitutional construal of quantification

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: Quantifying over the reals

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