scientific article; zbMATH DE number 3643227

MaRDI QIDQ3048804zbMATH OpenFDO

Authors Rafael Isaacs

Publication date 1978

zbMATH Keywords

first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

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