|
|
Пишет superhuman (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} superhuman)@ 2011-07-04 23:04:00 |
 |
|
 |
|
|
|
|
|
|
 |
|
 |
Барендрегт насмешил, в его книге по ламбда-счислению:
Эта книга по существу не требует предварительной подго-
товки. Лишь временами нужны элементарные сведения из ло-
гики первого порядка, топологии, теории множеств, теории ре-
курсии и теории категорий.
Эта книга по существу не требует предварительной подго-
товки. Лишь временами нужны элементарные сведения из ло-
гики первого порядка, топологии, теории множеств, теории ре-
курсии и теории категорий.
