First-order logic and automated theorem proving /

By: Fitting, MelvinMaterial type: TextTextPublication details: New York : Springer, c1996Edition: 2nd edDescription: xvi, 326 p. : illISBN: 0387945938 (New York : hardcover : alk. paper); 9781461275152Subject(s): Automatic theorem proving | Logic, Symbolic and mathematicalDDC classification: 511.3 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

---