Applied Synthetic Computability Theory: Gödel’s Incompleteness Theorem and Post’s Problem

Dominik Kirst

2025-02-27 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse