Bernays-Gödel type-theory (2003)

by Carsten Butz
Venue:Journal of Pure and Applied Algebra
Citations:17 - 3 self