Just you average guy who wakes up thinking about Logic, goes to bed thinking about Logic and dreams of becoming a professional Logician. Unfortunately, where I am has no degree offering anything close to Mathematical Logic, Pure or Applied, or Foundational Mathematics or even Philosophy of Mathematics soooo everything I know is self taught from PDFs and DJVUs. ;)