TY - BOOK AU - Manna Zohar AU - Waldinger Richard TI - Logical basis for computer programming: v 1 - Deductive reasoning U1 - 005.1 PY - 1985/// CY - Reading PB - Addison Wesley KW - Computer programming KW - Deductive reasoning ER -