| Joakim von Wright, Jim Grundy, John Harrison - Mathematics - 1996 - 472 pages
This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996 ... | |