Computation and Reasoning - A Type Theory for Computer Science (INTERNATIONAL SERIES OF | DealShopping Deutschland