Bernard Bolzano
Proposition
Term logic
Edmund Husserl
Truth
Philosophy of mathematics
Proof theory
Mathematical logic
Modal logic
Logic
Philosophy
Philosophical logic