Logics and type systems door J.H. Geuvers