Logic for computer science: Foundations of automatic theorem

By:

Material type: Text

TextPublication details: New York; John Wiley; 1987Description: xv,511pDDC classification:

Item type:

Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	B. R. Ambedkar Open University Library	511.3 GAL (Browse shelf(Opens below))	Available		17464

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	511.3 DEC Decade of the berkeley math circle: The american experience	511.3 ECC Introduction to mathematical reasoning: Numbers, sets and fuctions	511.3 END Mathematical introduction to logic	511.3 GAL Logic for computer science: Foundations of automatic theorem	511.3 HAL Naive set theory	511.3 JOH Discrete mathematics	511.3 JOH Discrete mathematics	Next

There are no comments on this title.

to post a comment.