| DaftarIsitemplate |
| Call Number |
| 004 Lec |
| Title |
| Some connections between iterative programs, recursive programs, and first-order logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 150-166 |
| Author |
| A.J. Kfoury; |
| Publisher |
| Springer, 1981 |
| Subject |
| Location |