INTRODUCTION TO HOL - Gordon, M. J. C.; Melham, T. F. (Cambridge Cambridge Univ. Press, 1993)
Keywords: Logic Programming; Logic, Symbolic And Mathematical