This handbook covers fundamental topics in the semantics of logic and computation. The chapters (some monographic in length), follow a thematic point of view. The text should appeal to mathematicians, computer scientists, logicians and researchers in artificial intelligence.