scientific article; zbMATH DE number 1302880
From MaRDI portal
Publication:4249366
zbMath0927.03070MaRDI QIDQ4249366
Publication date: 13 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Bibliographies for mathematics in general (00A15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
This page was built for publication: