> -- Alexey Veselovsky писал(а):
> А что скажите про:- А.Марков "Теория алгорифмов"- Х.Карри "Основания математической логики"Марков -- первоисточник, первоисточники желательно знать.

А Карри -- просто хорошая книга.