scientific article; zbMATH DE number 3316038

MaRDI QIDQ5595157zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 1969

zbMATH Keywords

recursion theory, constructive mathematics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cited in

(4)

• The Boolean solution problem from the perspective of predicate logic
• scientific article; zbMATH DE number 3885864 (Why is no real title available?)
• Two decision problems in Contact Logics
• Towards logical operations research -- propositional case

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