Normal view MARC view ISBD view

First-order logic and automated theorem proving /

By: Fitting, MelvinMaterial type: Text

TextPublication 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Main Library Reference	Reference	511.3 FIT (Browse shelf(Opens below))	Available		015884

Total holds: 0

Browsing Main Library shelves, Shelving location: Reference, Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.2 FER Discrete Mathematical Structures	511.3 CHU Introduction to mathematical logic	511.3 DAV Computability & unsolvability	511.3 FIT First-order logic and automated theorem proving /	511.3 REI Elements of symbolic logic	511.322 Schaum's outline of theory and problems of set theory and related topics /	511.324 MEN Schaum's Outline of Theory And Problems Of Boolean Algebra & Switching Circuits	Next

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.