chapter 1 the foundations logic and proofs 1131816 published presentations and documents on DocSlides.