Central Library , Vidyasagar University

Your cart is empty.

Online Public Access Catalogue (OPAC)
Central Library - Vidyasagar University

“Education does not only mean learning, reading, writing, and arithmetic,

it should provide a comprehensive knowledge”

-Ishwarchandra Vidyasagar


Normal view MARC view ISBD view

First-order logic and automated theorem proving / Melvin Fitting.

By: Fitting, Melvin.
Material type: TextTextSeries: Tezts and monographs in computer science. Tezts and monographs in computer science.Publisher: New York : Springer-Verlag , 1990Description: xv,244p. : figures ; 23cm.Subject(s): MATHEMATICAL LOGICDDC classification: B66
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode
Books Books Philosophy Dept. Library
Old Stack Room 		B66 BAN/F (Browse shelf) 1 Not For Loan (Restricted Access) 27113

NULL

27113 Rs. 68.00

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha