00521nam 2275572 450000100060000000300230000600500090002900800410003808200100007907200460008902000180013510000220015326000260017524500540020165000460025565000100030165000300031175572StarLibrary Marc Built20180420201711 ||||| |||||||||||amh  a519.7 aelectronic digital computer - programming a0-201-45886-0 aRichard Waldinger baddison wesley c1993 aThe Deductive foundations of computer programming aelectronic digital computer - programming alogic asymbolic and mathematical