scientific article
From MaRDI portal
Publication:3708781
zbMath0584.03017MaRDI QIDQ3708781
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
deduction theoremconsequence operationimplication fragmentstructural consequenceconsistent implicational extensionsIntutionistic Logicstrongly finite approximable
Related Items
This page was built for publication: