First-order logic and automated theorem proving /
Material type:
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
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.