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

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: Birkhauser, Boston 2002Edition: Description: Subject(s):

DDC classification:

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	Dept. of Mathematics Processing Center	Dept. of Mathematics	004 KAR-H (Browse shelf(Opens below))	Available		MAT6148

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	004 JUN-G Graphics programming and animation	004 KAL-C Computers and mathematics	004 KAL-I Introduction to discrete mathematics and its applications	004 KAR-H Handbook of logic and proof techniques for computer science	004 KHU-I Internet and web design	004 KRI-F Formal langauge aspects of natural computing	004 KUT-M Mathematical foundations of computer science 1999	Next

There are no comments on this title.

to post a comment.