Bernays-Gödel type theory

From MaRDI portal
Publication:1861492