Загрузки
The Univalent Foundation Program - Homotopy Type Theory 0% нашли этот документ полезнымSaul Kripke - Elementary Recursion Theory PDF 0% нашли этот документ полезнымE. Cheng & A. Lauda - Higher-Dimensional Categories. An Illustrated Guide Book 100% нашли этот документ полезнымCADEVALL Explicacionenestructuralismo PDF 0% нашли этот документ полезнымBeuchot ABDUCCIONYANALOGIA PDF 0% нашли этот документ полезнымElliott Mendelson - Foundations Logic, Language and Mathematics 100% нашли этот документ полезнымAlejandro Cassini - El Juego de Los Principios - Una Introducción Al Método Axiomático PDF 0% нашли этот документ полезнымIdentidad y Necesidad 0% нашли этот документ полезнымBertrand Russell - Sobre El Denotar 0% нашли этот документ полезнымSaul Kripke - A Puzzle About Belief 0% нашли этот документ полезнымTorres Alcaraz, Carlos - Los Sistemas Formales 0% нашли этот документ полезным