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

توپولوژی ضروری و چگالی دامنه های مستمر

Essential and density topologies of continuous domains

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

فضاهای محدود با تقریب

Limit spaces with approximations

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

ظرفیت اتمی، انسجام اطلاعات و ساختارهای بدون نقطه

Atomicity, coherence of information, and point-free structures

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

تظاهر سازنده از توابع مستمر کلین ـ کریسل

A constructive manifestation of the Kleene–Kreisel continuous functionals

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

توپولوژی ذاتی جهان های مارتین ـ لوف

The intrinsic topology of Martin-Löf universes

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

روابط ایجابیت در یک منطقه

Positivity relations on a locale

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

دوگانگی نوع پریستلی برای سازه های تا حدی سفارشی

Priestley-type dualities for partially ordered structures

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

فضاهای تفکیکی و ساختارهای محله ای یکنواخت

Apartness spaces and uniform neighbourhood structures

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