Report copyright - Strongly Constructive Formal Systems · 2013-07-26 · to recursive axiomatizability) of the formalization of the logical framework in hand, together with the fulfillment of two
Please pass captcha verification before submit form
Please pass captcha verification before submit form