This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include local set theories, fundamental properties of toposes, sheaves, local-valued sets, and natural and real numbers in local set theories. 1988 edition.

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

Every family feared the Takers, who were stealing children, only to leave their horribly mutated, dead bodies to be found abandoned months later. Eight year old Harper didn't expect to be one of the taken, but fate has a funny way of screwing you over. Ten years later, Harper awakens remembering only pain. She discovers that she now lives in a dying world and the only hope for humanity's future lies within her. Can she make the necessary sacrifices to save the world or will being consumed by love keep her from the purpose she was created for.

A non-fiction book for children

All-ages anthology comic book of superhero stories, set in and around Boston.

What's it like to live in a world where humor is banned or to work on a deep-space lighthouse? If you're lucky, you might even discover how to escape the Yawning Men Curl up in your favorite rocket ship and set your coordinates for adventure in Volume Five of the Young Explorer's Adventure Guide Don't miss this stellar anthology of 24 science fiction short stories for girls, boys and robots of all ages