scientific article; zbMATH DE number 7307089
From MaRDI portal
Publication:5149151
zbMath1505.03016MaRDI QIDQ5149151
Alberto Naibo, Giulio Guerrieri
Publication date: 6 February 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
harmonysequent calculusproof theorynatural deductionclassical logicinferentialismnegative translationphilosophy of logic
This page was built for publication: