| Type |  Book |
| ชื่อเรื่อง | A programming logic : with an introduction to the PL/CV Verifier / R.L. Constable, M.J. O'Donnell |
| ผู้แต่ง | Constable, Robert l |
| ISBN | 0876267266 |
| พิมพลักษณ์ | Massachusetts : Winthrop, c1978 |
| รูปเล่ม | 389 p. : ill |
| หัวเรื่อง | Pl/cv (Computer program language) |
| | Pl/i (Computer program language) |
| | Symbolic and mathematical logic |