منطق در ايران

یوکو فانانن  (Jouko Väänänen)  منطق‌دان ریاضی فنلاندی، در سال 2011 دو سخنرانی دربارۀ نظریۀ مدل برای منطق مرتبۀ دوم داشته است که بسیار آموزاننده است. پی دی اف این دو سخنرانی را از پیوندهای زیر می‌توانید دانلود کنید:

Model theory of second order logic - Lecture 1 

Model Theory of Second Order Logic - Lecture 2  

فانانن که متولد سوم سپتامبر 1950 است هم‌اکنون رئیس دانشکدۀ علوم و استاد ریاضی دانشگاه هلسینکی فنلاند و هم‌زمان استاد منطق ریاضی و مبانی ریاضیات در دانشگاه آمستردام هلند است. او دکترایش را در سال 1977 با عنوان «کاربردهایی از نظریۀ مجموعه‌ها در سورهای تعمیم‌یافته» در دانشگاه منچستر و به راهنمایی پیتر اکسل دفاع کرده است.