scientific article; zbMATH DE number 3264940

zbMath0165.31803MaRDI QIDQ5551461

Yuri Gurevich

Publication date: 1967

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (1)

Existentially complete lattice-ordered groups

This page was built for publication: