scientific article; zbMATH DE number 6261977
From MaRDI portal
Publication:5398233
zbMath1289.03003MaRDI QIDQ5398233
Publication date: 26 February 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
elementary theorydecidability of theorieslattice of continuous functionsgeneralized method of interpretationsreducibility to theory
Related Items (1)
This page was built for publication: