Intuitionistic logic model theory and forcing - Fitting, Melvin Chris (Amsterdam : North Holland, 1969)
Keywords: MATEMATICAS RECREATIVAS; TEORIA DE LOS NUMEROS; TEORIA DE CONJUNTOS