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