"Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. ... 6th " - читать интересную книгу автора (Jeffrey J. Joyce, Carl-Johan H. Seger)