Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »

https://stl.hypotheses.org/5077