Intuitionistic logic model theory and forcing - Fitting, Melvin Chris (Amsterdam North-Holland, 1969)
Bibliografía: 188-189
Keywords: LOGICA MATEMATICA