scientific article; zbMATH DE number 3528224
From MaRDI portal
zbMath0338.02030MaRDI QIDQ4105666
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The incompleteness theorems after 70 years, Classes and truths in set theory, Inductive full satisfaction classes, Subsystems of true arithmetic and hierarchies of functions, Truth, disjunction, and induction