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