Higher Order Logic Theorem Proving and Its Applications : 6th International W...

Higher Order Logic Theorem Proving and Its Applications: 6th International Works

Higher Order Logic Theorem Proving and Its Applications: 8th International Works

Higher Order Logic Theorem Proving and Its Applications : 8th Int

Higher Order Logic Theorem Proving and Its Applications: 7th International Works

Higher Order Logic Theorem Proving and Its Applications: 8th International: New

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

Higher Order Logic Theorem Proving and Its Applications : 7th Int