Nowak, T. 2001. „Twierdzenie Gödla a Problem zupełności I niesprzeczności Modeli Generatywnych”. Polonica 21 (grudzień):193-202. https://polonica.ijp.pan.pl/index.php/polonica/article/view/377.