Krantz, Steven G., (Steven George), 1951-
Handbook of logic and proof techniques for computer science - Boston Birkhauser, New York : Springer, 2002. - xix, 245 p.
081764220X (alk. paper)
Computers.
Electronic data processing.
681.3(02) KRA
Handbook of logic and proof techniques for computer science - Boston Birkhauser, New York : Springer, 2002. - xix, 245 p.
081764220X (alk. paper)
Computers.
Electronic data processing.
681.3(02) KRA