Normal view MARC view ISBD view

Symbolic logic and mechanical theorem proving

By:

Material type: Text

TextPublication details: Boston; Academic Press; 1973Description: xiii p. + 331

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	Raman Research Institute Library	681.32.091 CHA (Browse shelf(Opens below))	Available		16496

There are no comments on this title.

to post a comment.

Raman Research Institute Library OPAC