Joakim von Wright profile picture

Joakim von Wright

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings