00326nam a2200109Ia 4500008004100000082001900041100001900060245004200079260005100121300000600172490003800178260820b        |||||||| |||| 00| 0 eng d  a511.3bC561.IM  aChurch, Alonzo  aIntroduction to mathematical logicb/  aNew Jersey:bPrinceton University Press,c1970  a   aPrinceton Mathematical series, 17