scientific article
From MaRDI portal
Publication:3791150
zbMath0647.03050MaRDI QIDQ3791150
Publication date: 1988
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) Metamathematics of constructive systems (03F50)
This page was built for publication: