scientific article
From MaRDI portal
Publication:3338232
zbMath0547.03031MaRDI QIDQ3338232
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Related Items
A compact representation of proofs, TPS: A hybrid automatic-interactive system for developing proofs, TPS: A theorem-proving system for classical type theory, On connections and higher-order logic, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
