Proof and Knowledge in Mathematicsby Michael DetlefsenLogic, symbolic and mathematicalMathematics, philosophyWriting a summary for young readers…For young readersBook data: Open Library