The Openproof Project at CSLI has developed the following courseware packages aimed at different aspects of the undergraduate logic curriculum: . Language, Proof and Logic is a complete textbook for an introductory course in first-order logic covering propositional and first-order logic through completeness and soundness, with sections on set theory and induction.
حقوق النشر © 2024.CDM كل الحقوق محفوظة.خريطة الموقع