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


Fitting, Melvin.

First-order logic and automated theorem proving / Melvin Fitting. - New York : Springer-Verlag , 1990. - xv,244p. : figures ; 23cm . - Tezts and monographs in computer science, ; . - Tezts and monographs in computer science, ; .

NULL

Rs. 68.00 (Binding)

MATHEMATICAL LOGIC

B66 / BAN/F

Powered by Koha