Report copyright - Logic. Unsolvability results also imply unprovability in logics Logics we will look at (all very briefly) –Aristotelian logic –Euclidean geometry –Propositional
Please pass captcha verification before submit form
Please pass captcha verification before submit form