Bernays–Gödel type theory (0)

by C Butz
Venue:Journal of Pure and Applied Algebra