Kerala PSC System Manager 2013 Syllabus (1)Theoretical Foundations Mathematical Logic: Prepositional Logic, Predicate Logic-Relations and functions – Algebraic systems-Recurrence Relations-Formal Languages ...