scientific article
From MaRDI portal
Publication:3914987
zbMath0464.03060MaRDI QIDQ3914987
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Consistency and independence results (03E35) Metamathematics of constructive systems (03F50) Nonstandard models (03H99)
Related Items (1)
This page was built for publication: