Publication:5639697
From MaRDI portal
zbMath0232.02021MaRDI QIDQ5639697
Publication date: 1970
Full work available at URL: https://eudml.org/doc/189032
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items