scientific article; zbMATH DE number 4003561
From MaRDI portal
Publication:4728268
zbMath0618.68076MaRDI QIDQ4728268
Erik Rosenthal, Neil V. Murray
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
rule of inferencePrawitz analysislink deletionpath resolutiongraphical representation of quantifier-free predicate calculus formulas
Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication:
