Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

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

By: Material type: TextTextSeries: Texts and monographs in computer sciencePublication details: New York : Springer-Verlag, c1990.Description: xiii, 242 p. : ill. ; 24 cmISBN:
  • 0387972331 (alk. paper)
Subject(s): DDC classification:
  • 005.131 23 F547
Contents:
1. Background-- 2. Propositional logic-- 3. Semantic tableaux and resolution-- 4. Other propositional proof procedures-- 5. First-order logic-- 6. First-order proof procedures-- 7. Implementing tableaux and resolution-- 8. Equality-- References-- Index.
Summary: A mathematical monograph on first-order logic. Applications to automated theorem-proving are considered and Prolog programmes provided. May serve as a first text on formal logic for graduate students of computer science or mathematics.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 005.131 F547 (Browse shelf(Opens below)) Available C26370
Total holds: 0

Includes bibliographical references (p. [233]-236) and index.

1. Background--
2. Propositional logic--
3. Semantic tableaux and resolution--
4. Other propositional proof procedures--
5. First-order logic--
6. First-order proof procedures--
7. Implementing tableaux and resolution--
8. Equality--
References--
Index.

A mathematical monograph on first-order logic. Applications to automated theorem-proving are considered and Prolog programmes provided. May serve as a first text on formal logic for graduate students of computer science or mathematics.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in