ABSTRACT

[9] WHO’S AFRAID OF HIGHER-ORDER LOGIC?