Introduction

Can you upload a latex file giving an overview of the basics. E.g What is a constructible number in a with a given model of computability. What is our base level for computability (e.g. Finite Code in C/Turing Maching).