La lecture à portée de main
Auteur
Suivre Alexandre Miquel
Documents
Introduction A taste of forcing Higher order arithmetic tuned The forcing transformation The forcing machine Conclusion
Alexandre Miquel
Documents
Etudes supérieures
Introduction A taste of forcing Higher order arithmetic tuned The forcing transformation The forcing machine Conclusion
Alexandre Miquel
45 pages
English
Documents
Le Calcul des Constructions implicite: syntaxe et sémantique
Alexandre Miquel
Documents
Education
Le Calcul des Constructions implicite: syntaxe et sémantique
Alexandre Miquel
340 pages
Français