001: 75572
003: Starlibrary PMS 4.5
005: 20180420
020: ^a0-201-45886-0
066: ^aRi.T
072: ^aelectronic digital computer - programming
082: ^a519.7
100: ^aRichard Waldinger
240: ^aThe Deductive foundations of computer programming
245: ^aThe Deductive foundations of computer programming
260: ^c1993
650: ^alogic
650: ^asymbolic and mathematical
700: ^a Zohar Manna