Who's afraid of higher-order logic?

Peter Simons

pp. 253-264


This document is unfortunately not available for download at the moment.

Not implemented yet !