scientific article; zbMATH DE number 2236647
From MaRDI portal
zbMath1098.03069MaRDI QIDQ5711898
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items