First-order logic and automated theorem proving /
Material type:
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.
| 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
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.