Elementos de lógica formal
1989·no ficcion
Una introducción a la lógica formal que también desarrolla la teoría alternativa de conjuntos, conocida como 'teoría de los semisets', explorando los límites de los fundamentos matemáticos de una manera diferente a la tradicional.
