A coding function
Uses prime numbers to name
Any sequence e'er.
Coding sequences
might be a fun thing to do,
but I don't think so
Two sets in logic
computable and c.e.
are very useful
Multiplication
Is primitive recursive
Can you find others?
Kurt, why did you come!
Knock over everything,
and make logic fun!
This was a hard class
Every day was confusing
Wow, it is over!