scientific article; zbMATH DE number 3561276

MaRDI QIDQ4132200zbMATH OpenFDO

Authors Philip Hugly, Charles Sayward

Publication date 1976

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Classical first-order logic (03B10)

Cited in

(1)

• OPERANDS AND INSTANCES

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