Commentary on Bishop's talk
From MaRDI portal
Publication:1238735
DOI10.1016/0315-0860(75)90114-7zbMath0361.02002OpenAlexW2063345589MaRDI QIDQ1238735
Nancy Kopell, Gabriel Stolzenberg
Publication date: 1975
Published in: Historia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0315-0860(75)90114-7
Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)
This page was built for publication: Commentary on Bishop's talk