scientific article; zbMATH DE number 6131582
From MaRDI portal
Publication:4904131
zbMath1262.03023MaRDI QIDQ4904131
V. V. Verbitskii, I. G. Simonova
Publication date: 28 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication:
