scientific article

zbMath0698.03004MaRDI QIDQ3475242

Domenico Cantone, Vincenzo Cutello

Publication date: 1989

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

zbMATH Keywords

satisfiability problemMultilevel Syllogistic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Set theory (03E99)

Related Items

Techniques of computable set theory with applications to proof verification, Combining sets with cardinals