scientific article; zbMATH DE number 5174279
From MaRDI portal
Publication:5294535
zbMath1118.03031MaRDI QIDQ5294535
Publication date: 24 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Intuitionistic mathematics (03F55)
Related Items (1)
This page was built for publication: