The representation of logics in higher-order logic (1987)

by L Paulson