El sistema axiomático de von-Neumann, Bernays, Gödel desarrollado según el cálculo de predicados de Heyting
Lea Lucía Mordoh.
1963.
ii, 41 h. ; 34 cm.
Tesis (Doctora en Matemáticas)--Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 1963.
Incluye referencias bibliográficas (h. 41).