گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند) مجتبی...
Smin : یک منطق فراسازگار در زبان موجهاتی جاوید جعفری...
A computable version of Fraïssé limit for metric...
منطق و احتمال مسعود پورمهدیان عضو هیأت علمی دانشکده ریاضی و...
منطق ابتنای صوری داود حسینی (دانشگاه تربیت مدرس) دوشنبه 30...