[Alta-Logic] Series of lectures on basic recursion theory

[Chad Nester]

We're planning to hold an informal "introduction to computability theory"
series of lectures this summer, beginning this Friday with primitive
recursive functions. Anyone interested is welcome to attend. I'll send out
the time and place tomorrow after organizing a room.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150521/462863e9/attachment.html