scientific article
From MaRDI portal
Publication:3941382
zbMath0483.03006MaRDI QIDQ3941382
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatacompletenessnormal formsnatural deductionaxiomatizabilitylogical matricespropositional calculusfunctional completenessaxiomaticsswitching circuitssequential deduction
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05)
This page was built for publication: