scientific article
From MaRDI portal
Publication:4041533
zbMath0291.02001MaRDI QIDQ4041533
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25) Categoricity and completeness of theories (03C35)
Related Items (1)
This page was built for publication:
