Jan Tarski Historical Background of Gödel's Theorem. 3-7 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Tarski93