scientific article; zbMATH DE number 2019844
From MaRDI portal
Publication:4440538
zbMath1036.03043MaRDI QIDQ4440538
Publication date: 4 January 2004
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)
This page was built for publication:
