All Formats & Editions
1 - 5 of 5 results found
First-Order Logic and Automated Theorem Proving
Edition Description
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.
Edition Details
Format:Paperback
Language:English
ISBN:1461275156
Format: Paperback
Condition:
$
99.00
First-Order Logic and Automated Theorem Proving...
Edition Details
Format:Hardcover
Language:English
ISBN:0387945938
Format: Hardcover
Temporarily Unavailable
1 person is interested in this title.
We receive fewer than 1 copy every 6 months.
First-order logic and automated theorem proving...
Edition Details
Format:Hardcover
Language:English
ISBN:3540972331
Format: Hardcover
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
First-Order Logic and Automated Theorem Proving...
Edition Details
Format:Hardcover
Language:English
ISBN:B00BY73FN2
Format: Hardcover
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
First-Order Logic and Automated Theorem Proving...
Edition Details
Format:Hardcover
Language:English
ISBN:0387972331
Format: Hardcover
Condition:
$
51.79
Almost Gone, Only 1 Left!
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
