Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2

Theorem Proving in Higher Order Logics : 14th International Conference, Tphol...

Richard J. Boulto Theorem Proving in Higher Order Logic (Paperback) (UK IMPORT)

Theorem Proving in Higher Order Logics : 20th International Conference, Tphol...

Theorem Proving in Higher Order Logics : 16th International Conference, Tphol...

Theorem Proving in Higher Order Logics : 20th International Conference, Tphol...

Theorem Proving in Higher Order Logics : 16th International Conference, Tphol...

Theorem Proving in Higher Order Logics : 11th International Conference, Tphol...