This week at INTP, Samuel Tronçon from the cooperative ANÁNKÉ, a philosopher and computer scientist of Brouwerian inspiration, offers an introduction to the logic and foundations of theoretical computer science.