دانلود رایگان مقالات نشریه ISI سالانه منطق محض و کاربردی

سرس در منطق شهودی

Ceres in intuitionistic logic

54 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

تصویرگری در حوزه های محدود شبه واقعی واقعی بسته است

Imaginaries in bounded pseudo real closed fields

12 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

افزایش جملات در نظریه نوع ساده

Increasing sentences in Simple Type Theory

25 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

یکپارچه سازی یکنواخت و سازگاری فشرده

Uniform interpolation and compact congruences

22 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

Finding a field in a Zariski-like structure

29 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه