Cy in Chains


Book Description

Cy Williams, thirteen, has always known that he and the other black folks on Strong's plantation have to obey white men, no question. Sure, he's free, as black people have been since his grandfather's day, but in rural Georgia, that means they're free to be whipped, abused, even killed. Almost four years later, Cy yearns for that freedom, such as it was. Now he's a chain gang laborer, forced to do backbreaking work, penned in and shackled like an animal, brutalized, beaten, and humiliated by the boss of the camp and his hired overseers. For Cy and the boys he's chained to, there's no way out, no way back. And then hope begins to grow in him, along with strength and courage he didn't know he had. Cy is sure that a chance at freedom is worth any risk, any sacrifice. This powerful, moving story opens a window on a painful chapter in the history of race relations.




Immunology


Book Description

Blends biology, clinical science, genetics, and molecular biology of the immune system to provide a complete account of our knowledge of immunology New features include full-color artwork and design, over 50 new figures, and text that has been completely revised to reflect the very latest references Incorporates a variety of pedagogical aids to assist students in the learning process, including chapter outlines, objectives, and summaries, as well as a self-evaluation section




Heyting Algebras


Book Description

This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved popular among Russian-speaking logicians. This translation helps make the ideas accessible to a wider audience and pays tribute to an influential mind in mathematical logic. The book discusses the theory of Heyting algebras and closure algebras, as well as the corresponding intuitionistic and modal logics. The author introduces the key notion of a hybrid that “crossbreeds” topology (Stone spaces) and order (Kripke frames), resulting in the structures now known as Esakia spaces. The main theorems include a duality between the categories of closure algebras and of hybrids, and a duality between the categories of Heyting algebras and of so-called strict hybrids. Esakia’s book was originally published in 1985. It was the first of a planned two-volume monograph on Heyting algebras. But after the collapse of the Soviet Union, the publishing house closed and the project died with it. Fortunately, this important work now lives on in this accessible translation. The Appendix of the book discusses the planned contents of the lost second volume.




Ordered Sets


Book Description

An introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, important order-theoretical constructions and classes of ordered sets. Using a thematic approach, the author presents open or recently solved problems to motivate the development of constructions and investigations for new classes of ordered sets. The text can be used as a focused follow-up or companion to a first proof (set theory and relations) or graph theory course.




Cell-Mediated Immunity in Ruminants


Book Description

Within the last 10 years, the immune system of ruminants, especially T cells and their interactions with other cells, has been an important topic of study for veterinary immunologists and an area of interest for medical and fundamental immunologists. This book brings together all the latest data on ruminant cell-mediated immunology. In the first half of the book, leukocytes and their membrane molecules and cytokines are reviewed. Markers, tissue distribution, functional characterization, ontogeny, cytokines, and histocompatibility are covered in depth in separate chapters. In the second half of the book, cell-mediated immune responses against infectious diseases such as East Coast fever, infectious bovine rhinotracheitis, foot and mouth disease, maedi-visna, and gastrointestinal nematodes are analyzed. The application of cytokines to ruminants against infectious diseases is also reviewed.




Natural Products


Book Description




Interactive Theorem Proving


Book Description

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.




Journals


Book Description




Journal


Book Description

Includes extra sessions.