Handbook of logic and proof techniques for computer science

Select an Action

Title:

Author:

Krantz, Steven George, 1951-

ISBN:

9780817642204

Publication Information:

Boston : Birkhauser ; New York : Springer, 2002.

Physical Description:

xix, 245 s.

Subject Term:

Holds:
Copies:

Library	Material Type	Item Barcode	Shelf Number	Status	Item Holds
Searching... Beytepe Library	Book	7.2/12/574424	QA 76 K723 2002	Searching... Unknown	Searching... Unavailable