Hello,
Does anyone know of any good books that covers the foundations of mathematics (i.e. mathematical logic, axiomatic set theory, proof theory, model theory, type theory, recursion theory...)?
Keeping in mind that I'm still in high school. (Although I'm taking math courses at my local...