نظریه مدل محدود و برخی کاربردهای آن در حساب محدود

مراجع و منابع این مقاله:

• منیری، مرتضی (۱۳۸۴). «نظریه مرتبه اول پئانو و زیرنظریه های ...
• Buss, S‎. ‎R‎. (۱۹۸۶).‎‎Bounded Arithmetic‎, Napoli: Bibliopolis ...
• ‎Buss,‎S‎. ‎R‎. (۱۹۹۵). ‎Relating the Bounded Arithmetic and ‎‎Polynomial Time ...
• ‎‎Buss,‎S‎. ‎R. (۱۹۹۸).‎ Handbook of Proof Theory‎.‎Amsterdam: ‎Elsevier ...
• ‎Chang‎, C. C., ‎Keisler‎, J. (۱۹۹۰).‎Model theory‎, ‎‎Amsterdam: North-Holland‎ ...
• ‎‎Cook‎, S. A. (۱۹۷۵). Feasibly Constructive Proofs and the Propositional ...
• ‎Cook‎,‎S‎. ‎A. (۲۰۰۹). ‎Review of Three‎‎Papers Relating the Collapse of ...
• ‎Cook‎,‎S‎. ‎A., ‎Urquhart‎,‎A. (۱۹۹۳). Functional Interpretations‎‎ of Feasibly Constructive Arithmetic‎. ...
• ‎‎Hajek‎, ‎P.,‎Pudlak‎, P. (۱۹۹۳).‎Metamathematics of First-order Arithmetic‎. Berlin: ‎Springer-Verlag ...
• Hodges‎, H. (۱۹۹۷). ‎A Shorter Model Theory‎. ‎Cambridge: ‎Cambridge University ...
• Kaye‎, R. (۱۹۹۱).‎Models of Peano Arithmetic‎. ‎Oxford: Oxford University Press ...
• ‎Krajicek‎, J. (۱۹۹۵). Bounded Arithmetic‎, ‎Propositional Logic‎,‎and Complexity Theory. ‎Cambridge‎: ...
• ‎Krajicek‎, J. ,‎Pudlak‎, P., ‎‎Takeuti, G. (۱۹۹۱).‎Bounded Arithmetic and the ...
• ‎Marker‎, D. (۲۰۰۲). Model Theory‎: ‎An Introduction‎. ‎New York: ‎Springer-Verlag ...
• Moniri‎, M‎. (۲۰۰۶). An independence result for intuitionistic bounded arithmetic. ...
• Moniri‎, M‎. (۲۰۰۷). ‎Preservation Theorems for Bounded Formulas. ‎Archive for ...
• Parikh, R. J. (۱۹۷۱). Existence and feasibility in arithmetic, Journal ...
• Parikh, R. J. (۱۹۷۳). Some results on the lengths of ...
• ‎‎Zambella‎, D. (۱۹۹۶). Notes on Polynomially Bounded Arithmetic‎, ‎Journal of ...
نمایش کامل مراجع