Image from Google Jackets
Image from OpenLibrary

Symbolic logic and mechanical theorem proving /

By: Contributor(s): Material type: TextTextSeries: Computer science and applied mathematics,A series of monograPublication details: 1973.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Collection Call number Vol info Status Barcode
General General Kerala University Library Kerala University Library LC1 Live Collection Groud Floor R14 L3 (Browse shelf(Opens below)) LC1 Available 152683

There are no comments on this title.

to post a comment.