scientific article; zbMATH DE number 3509752

MaRDI QIDQ4089803zbMATH OpenFDO

Authors Yu. Matiyasevich

Publication date 1975

Full work available at URL https://eudml.org/doc/66177

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99)

Cited in

(2)

• Semantical Completeness Theorems in Logic and Algebra
• Valuative Lattices and Spectra

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