Математическая логика

http://ru.wikipedia.org/wiki/%D0%92%D0%BE%D0%B5%D0%BD%D0%BD%D1%8B%D0%B9_%D0%B...

не надо о грустном, хотя мне пока сия участь не грозит

ftp://ftp.mccme.ru/users/shen/logic/

(c1) Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. Сведения о книге: 2-е изд., испр. М: МЦНМО, 2002, 128 с. полный текст (zipped postscript, 390 K) , (zipped pdf, 636 K) полный архив (TeX zipped, 496 K) Часть 2. Языки и исчисления. Сведения о книге: 2-е изд., стереотипн. М.: МЦНМО, 2002, 288 с. полный текст (zipped postscript , 682 K), (zipped pdf , 1312 K) полный архив (TeX zipped, 224 K) Часть 3. Вычислимые функции. Сведения о книге: 2-е изд., испр. М.: МЦНМО, 2002, 192 с. полный текст (zipped postscript , 495 K), (zipped pdf , 913 K) полный архив (TeX zipped, 145 K)

> Интересует что-нибудь с уклоном в CS.

TeamFortress

каким боком ТФ к КС? этож две большие разницы. Тут скорее бы Tactical Ops для UT подошло

> каким боком ТФ к КС?

Первый FPS в котором MP с уклоном в специализацию.

спасибо

Булос, Джеффри: Вычислимость и Логика

замечательно