Handbook of logic and proof techniques for computer science /

Bibliographic Details

Main Author:	Krantz, Steven G. (Steven George), 1951-
Format:	Book
Language:	English
Published:	Boston : New York : Birkhauser ; Springer, 2002.
Subjects:	Computers. Electronic data processing.