▁quant ification , ▁Peter ▁Sim ons ▁( 1 9 8 2 ) ▁has ▁argued ▁that ▁the ▁essential ▁idea ▁can ▁be ▁found ▁in ▁the ▁work ▁of ▁Stanis law ▁Le ś n iew ski . ▁ ▁Short ly ▁before ▁his ▁death , ▁Bool os ▁chose ▁ 3 0 ▁of ▁his ▁papers ▁to ▁be ▁published ▁in ▁a ▁book . ▁The ▁result ▁is ▁perhaps ▁his ▁most ▁highly ▁regarded ▁work , ▁his ▁post hum ous ▁Log ic , ▁Log ic , ▁and ▁Log ic . ▁This ▁book ▁repr ints ▁much ▁of ▁Bool os ' s ▁work ▁on ▁the ▁re h abil itation ▁of ▁Fre ge , ▁as ▁well ▁as ▁a ▁number ▁of ▁his ▁papers ▁on ▁set ▁theory , ▁second - order ▁logic ▁and ▁non first order iz ability , ▁pl ural ▁quant ification , ▁proof ▁theory , ▁and ▁three ▁short ▁insight ful ▁papers ▁on ▁Gö del ' s ▁In comple ten ess ▁Theorem . ▁There ▁are ▁also ▁papers ▁on ▁D ed ek ind , ▁Cant or , ▁and ▁Russell . ▁ ▁Publications ▁ ▁Books ▁ 1 9 7 9 . ▁The ▁Un prov ability ▁of ▁Cons ist ency : ▁An ▁Ess ay ▁in ▁Mod al ▁Log ic . ▁Cambridge ▁University ▁Press . ▁ 1 9 9 0 ▁( editor ). ▁Mean ing ▁and ▁Method : ▁Ess ays ▁in ▁Honor ▁of ▁Hil ary ▁Put nam . ▁Cambridge ▁University ▁Press . ▁ 1 9 9 3 . ▁The ▁Log ic ▁of ▁Prov ability . ▁Cambridge ▁University ▁Press . ▁ 1 9 9 8 ▁( Rich ard ▁Jeff rey ▁and ▁John