Please download the file for more informatio
IntroductionThis course will use a material written by J.Carlstr?m. It can be downloaded byhttps://bimsa.net/doc/notes/logic2008.pdf SyllabusDay 1 Introduction? History and purpose of logic.? Boolean algebras.Inductively defined sets (Ch. 3 of Carlstr?m)? Motivation: What is formal syntax? What are formulas?? The natural numbers; recursion and induction principles? General inductively defi...