Natural deduction
From MaRDI portal
Publication:1577346
zbMath0953.00008MaRDI QIDQ1577346
No author found.
Publication date: 3 January 2001
Published in: Studia Logica (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (3)
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ Human-centered automated proof search
This page was built for publication: Natural deduction
