Theorem proving in higher order logics : 21st International conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008: proceedings / ed. O. Mohamed, 2008 r=on-line. - Текст : электронный.