Caricamenti by Ray Meza

The Univalent Foundation Program - Homotopy Type Theory

Saul Kripke - Elementary Recursion Theory.pdf

E. Cheng & a. Lauda - Higher-Dimensional Categories. an Illustrated Guide Book

Beuchot ABDUCCIONYANALOGIA.pdf

CADEVALL explicacionenestructuralismo.pdf

Alejandro Cassini - El juego de los principios - Una introducción al método axiomático.pdf

Elliott Mendelson - Foundations Logic, Language and Mathematics

Saul Kripke - A Puzzle About Belief

Identidad y Necesidad

Torres Alcaraz, Carlos - Los Sistemas Formales

Bertrand Russell - Sobre El Denotar

Bertrand Russell - Sobre El Denotar

Rational and Irrational Numbers

Edgar Allan Poe - El Cuervo

Anaximandro de Mileto

Count Ability and Density

el hombre en busca de sentido