Beweisenby Bruno StreckerLanguage and languagesPhilosophyProof theoryProposition (Logic)Language and languages, philosophyWriting a summary for young readers…For young readersBook data: Open Library