Математика и математические науки. Логика

Булос Дж. Вычислимость и логика

%d0%91%d1%83%d0%bb%d0%be%d1%81 %d0%94%d0%b6. %d0%92%d1%8b%d1%87%d0%b8%d1%81%d0%bb%d0%b8%d0%bc%d0%be%d1%81%d1%82%d1%8c %d0%b8 %d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0.

Булос Дж. Вычислимость и логика : пер с англ. В. А. Душинского, Е. Ю. Ногиной / Дж. Булос, Р. Джеффри ; под ред. С. Н. Артёмова – М. : Мир, 1994.  – 396 с. : ил. – Парал. тит. англ.

Только авторизованные читатели могут просмотреть файл