3 0 4 . ▁L LL . ▁* 1 9 5 1 ▁is ▁Gö del ' s ▁ 1 9 5 1 ▁Gib bs ▁lecture , ▁" Some ▁basic ▁the or ems ▁on ▁the ▁found ations ▁of ▁mathematics ▁and ▁their ▁imp lications ." ▁▁▁ 1 9 9 5 b , ▁" Qu ot ational ▁ambigu ity " ▁in ▁Leon ardi , ▁P ., ▁and ▁Sant amb ro gio , ▁M ., ▁ed s . ▁On ▁Qu ine . ▁Cambridge ▁University ▁Press : ▁ 2 8 3 – 2 9 6 . ▁L LL ▁▁ 1 9 9 6 , ▁" The ▁Hard est ▁Log ic ▁P uzz le ▁Ever ," ▁Harvard ▁Review ▁of ▁Philosoph y ▁ 6 : ▁ 6 2 – 6 5 . ▁L LL . ▁Italian ▁translation ▁by ▁Mass imo ▁Pi att elli - Pal mar ini , ▁" L ' ind ov in ello ▁pi u ▁diff icile ▁del ▁mondo ," ▁La ▁Repub blica ▁( 1 6 ▁April ▁ 1 9 9 2 ): ▁ 3 6 – 3 7 . ▁▁▁ 1 9 9 6 a , ▁" On ▁the ▁proof ▁of ▁Fre ge ' s ▁theorem " ▁in ▁A . ▁Mort on ▁and ▁S . ▁P . ▁St ich , ▁ed s ., ▁Paul ▁Ben ac er raf ▁and ▁his ▁Crit ics . ▁Cambridge ▁MA : ▁Black well . ▁L LL . ▁▁▁ 1 9 9 7 , ▁" Con struct ing ▁Cant or ian ▁counter examples ," ▁Journal ▁of ▁Philosoph ical ▁Log ic ▁ 2 6