scientific article

zbMath0965.03011MaRDI QIDQ2721238

Favio E. Miranda-Perea, José Alfredo Amor Montaño

Publication date: 1 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

classical logicfinitely described theorypredicate language with equality

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

OTTER