Details

FREE ALGEBRAS IN VON NEUMANN-BERNAYS-GOEDEL SET THEORY AND POSITIVE ELEMENTARY INDUCTIONS IN REASONABLE STRUCTURES

RUBIN, ARTHUR LEONARD.   California Institute of Technology ProQuest Dissertations & Theses,  1978. 7815967.