Si è formato all'Università del Wisconsin con Kleene, Rudin, Young, Rosser e altri, è stato professore ordinario all'Istituto di Filosofia dell'Università centrale del Venezuela, a Caracas, professore onorario dell'Università nazionale di San Juan (Argentina) e dell'Università autonoma di Guadalajara (Messico). Precursore dell'introduzione in America Latina della logica Cracoviana e dei simboli di Hausbrandt per la soluzione di problemi geodetici. È autore di circa trecento opere, fra libri, articoli e monografie.