Great Moments in Logic — consequently.org“Great Moments in Logic” published online, 2004. Bernhard Bolzano (1781-1848) Bolzano was a philosopher, mathematician and logician who had important things to contribute in each of these fields. He’s probably best known for what he has done in mathematics: the precise definition of continuity when it comes to real-valued functions. But for my money (and in my discipline) Bolzano was worth much mo
Proof Theory and Meaning: on second order logic — consequently.org
