This study focuses on statics' original simplicity as an exercise in logic, without resort to extensive mathematical detail. Discussions of significant historical discoveries offer an enjoyable, useful view of the field. 1982 edition.

This study focuses on statics' original simplicity as an exercise in logic, without resort to extensive mathematical detail. Discussions of significant historical discoveries offer an enjoyable, useful view of the field. 1982 edition.

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.

Discrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability. The emphasis is on the computational aspects, so that the reader can see how the concepts are actually used. Because of logic's fundamental importance to computer science, the topic is examined extensively in three phases that cover informal logic, the technique of inductive proof; and formal logic and its applications to computer science.

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computers, and more.Includes 34 illustrations. 1968 edition."

In American history and throughout the Western world, the subjugation perpetuated by slavery has created a unique 'culture of slavery'. That culture exists as a metaphorical, artistic and literary tradition attached to the enslaved - human beings whose lives are 'owed' to another, who are used as instruments by another and who must endure suffering in silence. Tim Armstrong explores the metaphorical legacy of slavery in American culture by investigating debt, technology and pain in African-American literature and a range of other writings and artworks. Armstrong's careful analysis reveals how notions of the slave as a debtor lie hidden in our accounts of the commodified self and how writers like Nathaniel Hawthorne, Rebecca Harding Davis, Booker T. Washington, W. E. B. Du Bois, Ralph Ellison and Toni Morrison grapple with the pervasive view that slaves are akin to machines.