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

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

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

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

Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z

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

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

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