scientific article; zbMATH DE number 2064306
From MaRDI portal
Publication:4461807
zbMath1041.03505MaRDI QIDQ4461807
Publication date: 18 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Admissibility in positive logics ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ The Lvov-Warsaw School: A True Mythology ⋮ On negation: Pure local rules
This page was built for publication:
