Proof Theory: History and Philosophical Significance Lucas Jódar, E. De la Poza, Klaus Frovin Jørgensen, Stig Andur Pedersen, Vincent F. Hendricks • 2018
Proof Theory: History and Philosophical Significance Lucas Jódar, E. De la Poza, Klaus Frovin Jørgensen, Stig Andur Pedersen, Vincent F. Hendricks • 2000