scientific article; zbMATH DE number 3404229
From MaRDI portal
Publication:5670619
zbMath0256.02023MaRDI QIDQ5670619
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Compact (locally compact) metric spaces (54E45) Applications of computability and recursion theory (03D80)
Related Items (1)
This page was built for publication: