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 Pampaimadu
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

---