scientific article
From MaRDI portal
zbMath0424.00006MaRDI QIDQ3858182
No author found.
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)
Related Items
Bootstrapping. I, Independence results in computer science?, Ultrafilters and types on models of arithmetic
