scientific article; zbMATH DE number 1953898

zbMath1027.03005MaRDI QIDQ4415083

Ernst Zimmermann

Publication date: 28 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2561/25610228.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Predicate logical extensions of some subintuitionistic logics

This page was built for publication: