The top documents tagged [y higher order logic]