|
||||||||||||||||||||||||||||||||||||||
|
2 Reviews
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
2 of 2 people found the following review helpful:
5.0 out of 5 stars
Making this important area clear
I have been very pleased with this book because it is so much clearer than other books in the same area. In effect it provides a "general theory" of computer languages, connecting all the different topics through logic. I was particularly pleased with the explanations of modern type theory and its relationship to object-oriented and polymorphic programming.
Published on January 28, 2000 by riehard kupce
|
 |
2 of 3 people found the following review helpful:
1.0 out of 5 stars
This book does not deliver what it promises
I bought this book on the strength of the claim that it makes the difficult subject of logic accessable to computer scientists. I was very disappointed to find a book steeped in formulaic arcana and obtuse descriptions. The author does not "clarify the relationships between logic languages, functional languages, and object oriented languages" as promised in...
Published on October 13, 1999 by Constance Barton
|
|
Most Helpful First | Newest First
|
|
2 of 2 people found the following review helpful:
5.0 out of 5 stars
Making this important area clear,
By riehard kupce (Germany) - See all my reviews
This review is from: Logic And Declarative Language (Paperback)
I have been very pleased with this book because it is so much clearer than other books in the same area. In effect it provides a "general theory" of computer languages, connecting all the different topics through logic. I was particularly pleased with the explanations of modern type theory and its relationship to object-oriented and polymorphic programming.
2 of 3 people found the following review helpful:
1.0 out of 5 stars
This book does not deliver what it promises,
By
This review is from: Logic And Declarative Language (Paperback)
I bought this book on the strength of the claim that it makes the difficult subject of logic accessable to computer scientists. I was very disappointed to find a book steeped in formulaic arcana and obtuse descriptions. The author does not "clarify the relationships between logic languages, functional languages, and object oriented languages" as promised in the Booknews review. Apparently the author thinks clarity is found in logic formulas, but most of us prefer actual clear, concise English-language sentences.
|
|
Most Helpful First | Newest First
|
|
Logic And Declarative Language by Michael Downward (Paperback - June 3, 1998)
$51.95
In Stock | |
 
| ||
