Image from Google Jackets

First-order logic and automated theorem proving /

By: Material type: TextTextPublication details: New York : Springer, c1996.Edition: 2nd edDescription: xvi, 326 p. : illISBN:
  • 0387945938 (New York : hardcover : alk. paper)
  • 9781461275152
Subject(s): DDC classification:
  • 511.3 FIT
Summary: This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Reference Books Reference Books Main Library Reference Reference 511.3 FIT (Browse shelf(Opens below)) Available 015884
Total holds: 0

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.

There are no comments on this title.

to post a comment.

© University of Vavuniya

------