| DaftarIsitemplate |
| Call Number |
| 519.7 Man l |
| Title |
| The logical basis for computer programming vol.2 deductive system |
| Author |
| Manna, Zohar; |
| Publisher |
| Reading,Mass Addison-Wesley 1990 |
| Subject |
| Programming (Electronic digital computers); Logic, symbolic and mathematical |
| Location |