Mathematical logic has at least a couple of great writers. The canonical example is Bruno Poizat, especially the French originals; I would put Hodges in the same league. Both are emphatically not concise writers (at least in their most famous books). Their use of the full capabilities of language is very didactic, and often poetic. I greatly admire them both.
Pietro
- 1.6k
- 18
- 20