00692nam a2200241 a 450000100060000000300080000600500170001400800410003102000280007203500190010003500170011904000320013604100080016808200240017610000280020024500480022826000510027630000350032750000200036250400270038265000100040965000310041966696BD-RjUL20211209081553.0170319s1978    enka     b    001 0 eng    a0521218281.a0521292913  a(BD-RjUL)66827  aGLIS00070452  aDLCcDLCdMYGdBD-RjULbeng  aeng  223a511.3bHAL 19781 aHamilton, A. G.,d1943-10aLogic for mathematicians /cA. G. Hamilton.  aNew York :bCambridge University Press,c1978.  aviii, 224 p. :bill. ;c23 cm.  aIncludes index.  aBibliography: p. [215] 0aLogic 0aSymbolic and mathematical.