Regular lectures, seminars (2012, Spring) :

Mo.	16:45-18:15	469	Nonclassical Logics and Effective Computability (sem.)
Tu.
We.	14:30-17:50	philolog. 951	Programming I
Th.	18:30-20:05	1304	Logical Problems in CS (sem.)
Fr.	12:40-16:00	philolog. 951	Programming II
Sa.

• Prog. I : Pascal : handouts
• CSharp : handouts, INDZAD08.rtf
• Complexity courses
• Introduction to Math. Logic (mech.math I): handouts and other links
• Modern textbooks in Russian (Logic and Computability)
• TVI lecture notes, problems
• LaTex in logical texts, Links
• Some links on lambda-calculus, type theories, categorical logic, ets.