Functional Interpretations

DOI10.1142/8945zbMath1487.03001OpenAlexW4232878217MaRDI QIDQ2836179

Justus Diller

Publication date: 7 December 2016

Full work available at URL: https://doi.org/10.1142/8945

zbMATH Keywords

functional interpretationsintuitionism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other constructive mathematics (03F65)

Related Items

A Glimpse of $$ \sum_{3} $$-elementarity