Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
By: Gallier, Jean H.
Material type: BookPublisher: New York : John Wiley & Sons, 1986Description: xv, 511 p. ; 25 cm. + pbk.ISBN: 0471615463.Subject(s): Automatic theorem proving | Logic, Symbolic and mathematicalDDC classification: 511.3Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Lending | 511.3 (Browse shelf(Opens below)) | 1 | Available | 00027904 |
Includes bibliographical references (pages 489-493) and indexes.
Introduction -- Mathematical preliminaries -- Propositional logic -- Resolution in propositional logic -- First-order logic -- Gentzen's cut elimination theorem and applications -- Gentzen's sharpened Hauptsatz and Herbrand's theorem -- Resolution in first-order logic -- SLD-resolution and language programming (Prolog) -- Many-sorted first-order logic.