3 citations · 8 across the 35 of their papers we have counts for
1 paper · 1 filter
Gilles Dowek
The basic notions of logic-predicate logic, Peano arithmetic, incompleteness theorems, etc.-have for long been an advanced topic. In the last decades, they became more widely taugh…