"Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th " - читать интересную книгу автора (E. Thomas Schubert, Phillip J. Windley, James Alves-Foss)