scientific article; zbMATH DE number 733399
From MaRDI portal
Publication:4325787
zbMath0817.01012MaRDI QIDQ4325787
Publication date: 1 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items