scientific article; zbMATH DE number 3509752

zbMath0325.68048MaRDI QIDQ4089803

Yu. V. Matiyasevich

Publication date: 1975

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

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

Mathematics Subject Classification ID

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

Related Items

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