| DaftarIsitemplate |
| Call Number |
| 519.7 Man l |
| Title |
| The Logical basis for computer programming vol. II deductive systems |
| Author |
| Manna, Zohar; |
| Publisher |
| Reading, Massachusetts : Addison-Wesley, 1990 |
| Subject |
| Programming (electronic digital computers) |
| Location |