scientific article
From MaRDI portal
zbMath0633.03058MaRDI QIDQ3770532
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
companionsecond order arithmeticComprehensionbeta-models1-sections of type 2 objectstransitive model of KP