Handbook of logic and proof techniques for computer science

Бібліографічні деталі
Автор:	Krantz, Steven G. (Steven George) 1951- (Автор)
Формат:	Книга
Мова:	Англійська
Опубліковано:	Boston Birkhauser [2002]
Предмети:	Computers. Electronic data processing.