scientific article; zbMATH DE number 1048040
From MaRDI portal
Publication:4348126
zbMath0881.03029MaRDI QIDQ4348126
Franco Montagna, Robert A. Di Paola
Publication date: 26 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Recursive ordinals and ordinal notations (03F15)
Related Items