Handbook of logic and proof techniques for computer science

Select an Action

Title:

Personal Author:

Publication Information:

Boston : Birkhauser, 2002

Physical Description:

xix, 245 p. ; 24 cm.

ISBN:

9780817642204

Subject Term:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010195041	QA76 K72 2002	Open Access Book	Book	Searching... Unknown