Commentary on Bishop's talk

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

Mathematics Subject Classification ID

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