Report copyright - Kurt Gödel - Katedra informatiky FEI VŠB-TUO · Kurt Gödel was a solitary genius ... the first-order predicate logic proof calculus, the incompleteness of axiomatic theories
Please pass captcha verification before submit form
Please pass captcha verification before submit form