Recursion and Induction:
Notes on Mathematical Logic and Model Theory
This is the text for Math 406 in the 2008/9 academic year. This edition is dated September 17, 2008. There are 109 pages (size a4).