Cover Image

Handbook of logic and proof techniques for computer science /

Show other versions (1)
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.
Show all versions (2)