scientific article; zbMATH DE number 3806973

MaRDI QIDQ4749237zbMATH OpenFDO

Authors Pierangelo Miglioli, Mario Ornaghi

Publication date 1982

zbMATH Keywords

constructive proof theoryfirst order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Proof theory and constructive mathematics (03F99)

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 Q4749237)