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 Publishing,  1978. 7815967.