scientific article
From MaRDI portal
Publication:3751043
zbMATH Open0611.68058MaRDI QIDQ3751043
Erik Rosenthal, Neil V. Murray
Publication date: 1985
Title of this publication is not available (Why is that?)
Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
On the relative merits of path dissolution and the method of analytic tableaux ⋮ Inference with path resolution and semantic graphs ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751043)
