Theorem proving in higher order logics (e-book)
Hurd, Joe
Theorem proving in higher order logics (e-book) - Berlin Springer 2005 - Lecture Notes in Computer Science (LNCS) v.3603 .
978-3-540-31820-0
Theorem proving in higher order logics (e-book) - Berlin Springer 2005 - Lecture Notes in Computer Science (LNCS) v.3603 .
978-3-540-31820-0