scientific article; zbMATH DE number 5064391
From MaRDI portal
Publication:5493743
zbMATH Open1105.03007MaRDI QIDQ5493743
Publication date: 16 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Related Items (1)
This page was built for publication:
