Relative consistency of an extension of Ackermann's set theory

From MaRDI portal
Publication:4097280