scientific article
From MaRDI portal
Publication:3784064
zbMath0643.03040MaRDI QIDQ3784064
Publication date: 1987
Full work available at URL: https://eudml.org/doc/189945
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)
This page was built for publication: