Handbook of logic and proof techniques for computer science / Steven G. Krantz.

Saved in:

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

Holdings details from Science Library
Call Number:	QA76 .K723 2002
Copy 1	Available

Similar Items