▁Journal ▁of ▁F ormal ▁Log ic ▁ 2 9 : ▁ 2 1 4 – 2 1 5 . ▁▁▁ 1 9 8 8 a , ▁Review ▁of ▁Craig ▁Sm ory n ski , ▁Self - Reference ▁and ▁Mod al ▁Log ic , ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 5 3 : ▁ 3 0 6 – 3 0 9 . ▁▁▁ 1 9 8 9 , ▁" Iter ation ▁again ," ▁Philosoph ical ▁Top ics ▁ 1 7 : ▁ 5 – 2 1 . ▁L LL . ▁▁▁ 1 9 8 9 a , ▁" A ▁new ▁proof ▁of ▁the ▁Gö del ▁in comple ten ess ▁theorem ," ▁Notices ▁of ▁the ▁American ▁Mathemat ical ▁Society ▁ 3 6 : ▁ 3 8 8 – 3 9 0 . ▁L LL . ▁An ▁after word ▁appeared ▁under ▁the ▁title ▁" A ▁letter ▁from ▁George ▁Bool os ," ▁i bid ., ▁p . ▁ 6 7 6 . ▁L LL . ▁▁▁ 1 9 9 0 , ▁" On ▁' see ing ' ▁the ▁truth ▁of ▁the ▁Gö del ▁sentence ," ▁Be havior al ▁and ▁Bra in ▁Sciences ▁ 1 3 : ▁ 6 5 5 – 6 5 6 . ▁L LL . ▁▁▁ 1 9 9 0 a , ▁Review ▁of ▁Jon ▁Bar wise ▁and ▁John ▁Et chem end y , ▁T uring ' s ▁World ▁and ▁Tar ski ' s ▁World , ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 5 5 : ▁ 3 7 0 – 3 7