00600nam a22002057a 450000500170000000800410001702800250005808200140008310000180009724500380011526000350015330000190018865000160020765000380022365000380026165000420029965000160034170000180035770000190037520191011140429.0191011b           ||||| |||| 00| 0 eng d  a:Donated by M Mohsin  a511.3 ERS  aErshov, Yu L   aMathematical Logicc/ Yu L Ershov  aMoscowb:MIr Publishers c1984  a303p. c24cm.   aMathematics  aGeneral principles of mathematics  aLogic, Symbolic and mathematical.  aLogique symbolique et mathématique.  aMathematics  aErshov, Yu L   aPalyutin, E A