AuthorManna, Zohar
TitleThe logical basis for computer programming / Zohar Manna, Richard Waldinger
Imprint Reading, Mass. : Addison-Wesley, 1985
Descript 2 v. ; 24 cm

CONTENT

v.1 Deductive reasoning -- v.2 Deductive systems


SUBJECT

  1. Logic
  2. Symbolic and Mathematical
  3. Programming (Electronic Computers)

LOCATIONCALL#STATUS
Science Library : Closed Shelf QA76.6 L832m 1985 CHECK SHELVES
Science Library : Closed Shelf QA76.6 L832m 1990 CHECK SHELVES