For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Deduction
Automated Logic
Deduction
(
)
Author:
Bibel, Wolfgang
ISBN:
978-0-12-095835-1
Publication Date:
May 1993
Publisher:
Elsevier Science & Technology Books
Imprint:
Academic Press
Book Format:
Hardback
List Price:
USD $54.00
Book Description:
Buy Now
Book Details
Pages:
253
Detailed Subjects:
Philosophy / Logic
Featured Books
Legacy
Blackstock, Uché
Hardback:
$28.00
Reading Genesis
Robinson, Marilynne
Hardback:
$29.00
The Great Gatsby
Fitzgerald, F. Scott
Paperback:
$12.99
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.