Saeed Salehi

, 2014, 'Gödel's incompleteness phenomenon—computationally', Philosophia Scientiae 18 (3), 23-37.