Sets, Models, And Proofs: Topics In The Theory Of Recursive Functions