scientific article; zbMATH DE number 6296800
From MaRDI portal
Publication:5416157
zbMath1295.03007MaRDI QIDQ5416157
Publication date: 19 May 2014
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) Abstract deductive systems (03B22)
This page was built for publication: