Handbook of logic and proof techniques for computer science

Handbook of logic and proof techniques for computer science

Bibliographic Details
Main Author: Krantz, Steven G. (Steven George) 1951- (Author)
Format: Book
Language:English
Published: Boston Birkhauser [2002]
Subjects:
Computers.
Electronic data processing.