1 option
The logical basis for computer programming / Zohar Manna, Richard Waldinger.
LIBRA QA76.6 .M35595 1985 v.1 v.2
Available from offsite location
- Format:
- Book
- Author/Creator:
- Manna, Zohar.
- Series:
- Addison-Wesley series in computer science
- Language:
- English
- Subjects (All):
- Computer programming.
- Logic, Symbolic and mathematical.
- Physical Description:
- volumes : illustrations ; 25 cm.
- Place of Publication:
- Reading, Mass. : Addison-Wesley, c1985-
- Contents:
- v. 1. Deductive reasoning.
- v. 2. Deductive systems.
- Notes:
- Includes indexes.
- Bibliography: volume 1, pages [579]-581.
- ISBN:
- 0201182602
- OCLC:
- 11159189
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.