En 1955, a los 29 años, obtuvo el Premio Menéndez Pelayo del CSIC por su obra "Fundamentos matemáticos de la lógica formal", que sólo podrá ser publicado ocho años después en Venezuela, pues detenido en 1956, partirá al exilio ese mismo año, antes de ser condenado en rebeldía.