scientific article; zbMATH DE number 5064396
From MaRDI portal
Publication:5493749
zbMath1105.03033MaRDI QIDQ5493749
Publication date: 16 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)