scientific article

zbMath0739.03014MaRDI QIDQ3970879

V. V. Knyazev, V. A. Talanov

Publication date: 25 June 1992

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

zbMATH Keywords

0-1-principleexcluding quantifiersmany-valued first-order predicate logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (1)

Finite-model theory -- A personal perspective

This page was built for publication: