|
gptkbp:wrote
|
"A Survey of Proof Theory"
"Constructive Mathematics"
"Elements of Mathematical Logic"
"Informal Rigour and Completeness Proofs"
"On the Interpretation of Non-Finitist Proofs"
"Mathematical Logic: What Has It Done for the Philosophy of Mathematics?"
|