Handbook of logic and proof techniques for computer science

Bibliografski detalji
Glavni autor:	Krantz, Steven G. (Steven George) 1951- (Autor)
Format:	Knjiga
Jezik:	English
Izdano:	Boston Birkhauser [2002]
Teme:	Computers. Electronic data processing.