scientific article; zbMATH DE number 3316015
From MaRDI portal
Publication:5595145
zbMath0198.31802MaRDI QIDQ5595145
Publication date: 1968
Full work available at URL: https://eudml.org/doc/188123
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: