Image from Google Jackets
Image from OpenLibrary

Handbook of logic and proof techniques for computer science Steven G karntz

By: Contributor(s): Material type: TextTextSeries: Publication details: Birkhauser, Boston 2002Edition: Description: Subject(s): DDC classification:
  • 004 KAR-H
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Call number Status Date due Barcode
Book Book Dept. of Mathematics Processing Center Dept. of Mathematics 004 KAR-H (Browse shelf(Opens below)) Available MAT6148

There are no comments on this title.

to post a comment.