scientific article; zbMATH DE number 3523535
From MaRDI portal
Publication:4101810
zbMath0335.02031MaRDI QIDQ4101810
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computability and recursion theory (03D99) Turing machines and related notions (03D10) Proof theory and constructive mathematics (03F99)
Related Items (2)
This page was built for publication: