scientific article; zbMATH DE number 6296785
From MaRDI portal
Publication:5416142
zbMath1288.03009MaRDI QIDQ5416142
Publication date: 19 May 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22)
Related Items (2)
This page was built for publication: