scientific article; zbMATH DE number 2019914
From MaRDI portal
Publication:4440609
zbMath1036.03007MaRDI QIDQ4440609
Publication date: 15 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items