Title: The representation of logics in higher-order logic
First published: 1987