NISMO

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math

Description: payment | shipping rates | returns Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) Product Category : Books ISBN : 9780121703509 Title : Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) EAN : 9780121703509 Authors : Lee, Richard Char-Tung,Chang, Chin-Liang Binding : Hardcover Publisher : Academic Press Publication Date : 1973-06-11 Pages : 331 Signed : False First Edition : False Dust Jacket : False List Price (MSRP) : 72.95 Height : 1.1024 inches Width : 6.3780 inches Length : 9.3701 inches Weight : 1.3669 pounds Keywords : HPB Condition : Good About hpb-red Selling quality books and media since 1972. Customer service is our top priority! Payment We accept several payment types. They are shown above. Shipping Please click the "Shipping and Payments" tab above for details. Returns Your satisfaction is very important to us. Please contact us via the methods available within eBay regarding any problems before leaving negative feedback. You have 60 days from purchase to request a refund. © 2024 hpb-red

Price: 9.79 USD

Location: Carrollton, Texas

End Time: 2025-01-08T15:18:55.000Z

Shipping Cost: 0 USD

Product Images

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math

Item Specifics

Restocking Fee: No

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 60 Days

Refund will be given as: Money Back

Book Title: Symbolic Logic and Mechanical Theorem Proving (Computer Science a

Number of Pages: 331 Pages

Language: English

Publication Name: Symbolic Logic and Mechanical Theorem Proving

Publisher: Elsevier Science & Technology

Subject: Programming / Algorithms, Intelligence (Ai) & Semantics, Logic, Discrete Mathematics

Item Height: 0.4 in

Publication Year: 1973

Item Weight: 24.5 Oz

Type: Textbook

Author: Richard Char-Tung Lee, Chin-Liang Chang

Subject Area: Mathematics, Computers

Item Length: 9 in

Item Width: 6 in

Format: Hardcover

Recommended

Introduction to symbolic logic and its applications by Rudolf Carnap 1st  Ed.
Introduction to symbolic logic and its applications by Rudolf Carnap 1st  Ed.

$125.00

View Details
Symbolic Logic by Lewis Carroll (1977 1st Edition WITH NEW Advanced Material)
Symbolic Logic by Lewis Carroll (1977 1st Edition WITH NEW Advanced Material)

$22.50

View Details
The Journal of Symbolic Logic
The Journal of Symbolic Logic

$45.00

View Details
LEWIS CARROLL'S SYMBOLIC LOGIC  William  Warren Bartley III Hardcover Dust Jacke
LEWIS CARROLL'S SYMBOLIC LOGIC William Warren Bartley III Hardcover Dust Jacke

$29.99

View Details
Understanding Symbolic Logic, Klenk, Virginia, 9780130201423
Understanding Symbolic Logic, Klenk, Virginia, 9780130201423

$25.50

View Details
Symbolic Logic: Fifth Edition by
Symbolic Logic: Fifth Edition by

$9.99

View Details
An Introduction To Symbolic Logic
An Introduction To Symbolic Logic

$22.32

View Details
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

$14.58

View Details
LEWIS CARROLL'S SYMBOLIC LOGIC By Charles Lutwidge Dodgson - Hardcover Good
LEWIS CARROLL'S SYMBOLIC LOGIC By Charles Lutwidge Dodgson - Hardcover Good

$23.00

View Details
Elementary Symbolic Logic
Elementary Symbolic Logic

$7.98

View Details