MTU Cork Library Catalogue

Syndetics cover image
Image from Syndetics

Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.

By: Gallier, Jean H.
Material type: materialTypeLabelBookPublisher: 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.3
Contents:
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.
Holdings
Item 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
Total holds: 0

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.

Powered by Koha