Încărcări
The Univalent Foundation Program - Homotopy Type Theory 0% au considerat acest document utilBeuchot ABDUCCIONYANALOGIA PDF 0% au considerat acest document utilE. Cheng & A. Lauda - Higher-Dimensional Categories. An Illustrated Guide Book 100% au considerat acest document utilSaul Kripke - Elementary Recursion Theory PDF 0% au considerat acest document utilCADEVALL Explicacionenestructuralismo PDF 0% au considerat acest document utilAlejandro Cassini - El Juego de Los Principios - Una Introducción Al Método Axiomático PDF 0% au considerat acest document utilSaul Kripke - A Puzzle About Belief 0% au considerat acest document utilTorres Alcaraz, Carlos - Los Sistemas Formales 0% au considerat acest document utilElliott Mendelson - Foundations Logic, Language and Mathematics 100% au considerat acest document utilIdentidad y Necesidad 0% au considerat acest document utilBertrand Russell - Sobre El Denotar 0% au considerat acest document util