Report copyright - Second-order Logic - University of Calgarypeople.ucalgary.ca/.../second-order-logic.pdf · 2017-07-06 · sentencesof second-order logic. Here, V 1 0 is a second-order 1-place predicate
Please pass captcha verification before submit form