Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Actions for The logical basis for computer programming
Share
Email
RIS file
Bookmark
Report an Issue
The logical basis for computer programming / Zohar Manna, Richard Waldinger
Author
Manna, Zohar
Published
Reading, Mass. : Addison-Wesley, [1985-1990]
Copyright Date
©1985-1990
Physical Description
2 volumes : illustrations ; 25 cm.
Additional Creators
Waldinger, Richard
Full Text available online
Availability
Browse Nearby on Shelf
QA76.6.M35595 1985
QA76.6.M35595 1984
I Want It
I Want It
Finding items...
Series
Addison-Wesley series in computer science
Contents
v. 1. Deductive reasoning -- v. 2 Deductive systems.
Subject(s)
Computer programming
Logic, Symbolic and mathematical
ISBN
0201182602 (v. 1)
0201182610 (v. 2)
Bibliography Note
Includes bibliographies and indexes.
View MARC record
| catkey: 426102