Theorem proving in higher order logics (e-book)
Schneider, Klaus
Theorem proving in higher order logics (e-book) - Berlin Springer 2007 - Lecture Notes in Computer Science (LNCS) v.4732 .
978-3-540-74591-4
Theorem proving in higher order logics (e-book) - Berlin Springer 2007 - Lecture Notes in Computer Science (LNCS) v.4732 .
978-3-540-74591-4