Книги по мат. логике

[incubus]

Нуждаюсь в книгах по мат. логике таких авторов, как:

Чёрч А. - "Введение в мат. логику"
Клини С.К. - "Матиматическая логика"

 

[xrand]

Посмотри на _hттp://lib.homelinux.org/ там, кажется, были.
Успехов.

 

[incubus]

xrand, благодарю за ссылку, книг выше крыши!