MATHEMATICAL LOGICYIANNIS N. MOSCHOVAKISI. Propositional Logic P . First Order Logic F O I. G¨ odels Ipleteness . . Recursion and . Alternative . Set : Claimthatev-eryputable function can be c