scientific article
From MaRDI portal
Publication:3469074
zbMath0694.01021MaRDI QIDQ3469074
Publication date: 1987
Full work available at URL: https://eudml.org/doc/22094
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items