Theorem proving in higher order logics (e-book)
Slind, Konrad
Theorem proving in higher order logics (e-book) - Berlin Springer 2004 - Lecture Notes in Computer Science (LNCS) v.3223 .
978-3-540-30142-4
Theorem proving in higher order logics (e-book) - Berlin Springer 2004 - Lecture Notes in Computer Science (LNCS) v.3223 .
978-3-540-30142-4