| Call Number |
:
|
519.7 M266 |
| Type of Document |
:
|
Monograph (Book) |
| Language of Doc. |
:
|
EN |
| Title |
:
|
The Logical Basic For Computer Programming : Volume II , Deductive Systems |
| Author(s) |
:
|
Monna
Zohar Waldinger Richard |
| Publisher |
:
|
Addison - Wesley |
| Publication Year |
:
|
1990 |
| Publication Place |
:
|
Massachusetts |
| Physical description |
:
|
624 |
| Subject Area |
:
|
Mathematics |
| Subject Headings |
:
|
-- Symbolic and Mathematical Logic -- Computer Programming |
| Item | Barcode | Status | Due Date | Location | Media Type |
| 1 | 42314 | -- | -- | English Section | |
| 2 | 50102 | -- | -- | English Section |