گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند)   مجتبی...

    Smin : یک منطق فراسازگار در زبان موجهاتی   جاوید جعفری...

A computable version of Fraïssé limit for metric...

منطق و احتمال مسعود پورمهدیان عضو هیأت علمی دانشکده ریاضی و...

  منطق ابتنای صوری  داود حسینی (دانشگاه تربیت مدرس)   دوشنبه 30...