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

E. Thomas Schubert Phillip Higher Order Logic Theorem P (Paperback) (UK IMPORT)

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

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Symbolic Logic and Mechanical Theorem Proving, Lee and Chang (Hardcover, 1973)

Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :

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

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