Introduction to Number Systems and Logic