С.С. Лавров. "Темные места в теории вычислимости". Материалы к выступлению на семинаре по логике в ПОМИ (бывш. ЛОМИ) 29 мая 2000 г.

Сообщение об отправке бумажного письма

Сообщение об отправленном письме

от 11 августа 1999, пересланная В.П. Иванниковым, о решении о публикации книги в сентябре

о ежемесячном семинаре по компьютерной алгебре

два письма о теореме Райса и о новом учебнике информатики для 7-11 классов

Переписка С.С. Лаврова с В.П. Котляровым о распространении тиража "Лекций..", пересланная Р.И. Подловченко

о текущих делах

Ответ на электронное письмо от 12.08.2000, полученное по возвращении из турпоездки

о текущих делах

Параграф к разделу о теории вычислимости

Ответ на просьбу переслать повторно письмо

от 08.09.1999

О публикации и распространении тиража "Лекций..."; переслано С.С. Лавровым Р.И Подловченко вместе с письмом от 11.09.1999

о личных делах

о делах на факультетет ВМиК; о смерти В.М. Курочкина

об издании "Лекций...", о теореме Райса

О работе над "Лекциями по теории программирования"

О предстоящей поездке в Нью Йорк