Hairier than Putnam Thought
From MaRDI portal
Publication:4497488
DOI10.2307/3327406zbMATH Open0943.03609OpenAlexW4231430423MaRDI QIDQ4497488FDOQ4497488
Publication date: 22 August 2000
Full work available at URL: https://doi.org/10.2307/3327406
Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Cited In (3)
This page was built for publication: Hairier than Putnam Thought
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4497488)