Skip to content
Scan a barcode
Scan
Paperback First Order Logic: Translatiion/Proof Book

ISBN: 0867209577

ISBN13: 9780867209570

First Order Logic: Translatiion/Proof

"A compact but thorough introduction to first-order logic, focused on the construction of translations and derivations, but locating these within a broader theoretical framework. This book assumes no... This description may be from another edition of this product.

Recommended

Format: Paperback

Condition: Good

$23.59
Save $8.91!
List Price $32.50
Almost Gone, Only 1 Left!

Customer Reviews

0 rating
Copyright © 2024 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
GoDaddy Verified and Secured