scientific article; zbMATH DE number 3285215

zbMath0178.31903MaRDI QIDQ5567853

No author found.

Publication date: 1962

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (2)

Myhill's work in recursion theory ⋮ Models of arithmetic in \(A\)-isols

This page was built for publication: