scientific article; zbMATH DE number 922615
From MaRDI portal
Publication:4893135
zbMath0858.03008MaRDI QIDQ4893135
Publication date: 17 March 1997
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) Other constructive mathematics (03F65)
This page was built for publication: