Merkliste 
 1 Ergebnisse 
 
1

Bernays–Gödel type theory:

Butz, Carsten
Journal of Pure and Applied Algebra.  178 (2003)  1 - p. 1-23 , 2003