منطق در ايران

مجله منطق صوري نوتردام     Notre Dame Journal of Formal Logic آخرین شماره Volume 47, no. 2

اين فصل‌نامه كار خود را در 1960 زير نظر بولسلاو سوبوسينسكي (Bolesίαw Sobociήski) در دانشگاه نوتردام ايالت ايندياناي امريكا آغاز كرده و هم كنون 47 ساله است و هر ساله چهار شماره منتشر مي‌كند. اين فصل‌نامه چاپي و اينترنتي بوده، مقالات آن پس از پنج سال به صورت رايگان در سايت Project Euclid ارائه مي‌شود. براي استفاده از مقالات وارد

 http://projecteuclid.org/Dienst/UI/1.0/JourNav?authority=euclid.ndjfl&type=past

شده مقالات خود را انتخاب كنيد. هدف آن انتشار آثار پژوهشي و ترويجي در همه زمينه‌هاي منطق مباني رياضيات است.