Report - THE DECISION PROBLEM FOR THE LOGIC OF PREDICATES …web.eecs.umich.edu/~gurevich/Opera/13en.pdf · and that the situation is far more general, at any rate for any theory of first

Please pass captcha verification before submit form