Representing Logics in Type Theory (1992)

by Gardner