Report - Abstract - asc.ohio-state.edu › pollard.4 › cvg › hyper.pdf · order categorical logic. This logic differs from the higher-order logics in the Church-Henkin-Montague tradition

Please pass captcha verification before submit form