Theorem Proving in Higher Order Logics
von
Tom Melham Joe Hurd
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-540-81445-0
ISBN-10: 3-540-81445-0
Springer
· 2008
