▁P . ▁Burg ess , ▁ed s .). ▁Log ic , ▁Log ic , ▁and ▁Log ic ▁Harvard ▁University ▁Press . ▁▁ 2 0 0 7 ▁( 1 9 7 4 ) ▁( with ▁Richard ▁Jeff rey ▁and ▁John ▁P . ▁Burg ess ). ▁Comput ability ▁and ▁Log ic , ▁ 4 th ▁ed . ▁Cambridge ▁University ▁Press . ▁ ▁Articles ▁ ▁L LL ▁= ▁repr int ed ▁in ▁Log ic , ▁Log ic , ▁and ▁Log ic . ▁F PM ▁= ▁repr int ed ▁in ▁Dem op oul os , ▁W ., ▁ed ., ▁ 1 9 9 5 . ▁Fre ge ' s ▁Philosoph y ▁of ▁Mathemat ics . ▁Harvard ▁Un iv . ▁Press . ▁▁ 1 9 6 8 ▁( with ▁Hil ary ▁Put nam ), ▁" D eg rees ▁of ▁un sol v ability ▁of ▁construct ible ▁sets ▁of ▁integers ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 3 3 : ▁ 4 9 7 – 5 1 3 . ▁▁ 1 9 6 9 , ▁" Effect iveness ▁and ▁natural ▁languages " ▁in ▁Sid ney ▁Hook , ▁ed ., ▁Language ▁and ▁Philosoph y . ▁New ▁York ▁University ▁Press . ▁▁ 1 9 7 0 , ▁" On ▁the ▁semantics ▁of ▁the ▁construct ible ▁levels ," ▁' ▁ 1 6 : ▁ 1 3 9 – 1 4 8 . ▁▁ 1 9 7 0 a , ▁" A ▁proof ▁of ▁the ▁Lö wen heim – Sk ole m ▁theorem ," ▁Notre ▁D ame ▁Journal ▁of ▁F ormal ▁Log