This book introduces the reader into this fascinating language top down. Starting from the highest degree of abstraction we plunge ourselves into a rich world in which computations become possible. The entire book is filled with challenging exercises broadening one's mind and skills. The book lives up to its promise in the sense that virtually any topic a master student has to absorb is treated into the most succinct and logical way imaginary.