9 citations · 20 across the 28 of their papers we have counts for
1 paper · 1 filter
Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalizatio…