scientific article; zbMATH DE number 2236641
From MaRDI portal
Publication:5711892
zbMath1092.03030MaRDI QIDQ5711892
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)
Related Items (1)
This page was built for publication: