[Alta-Logic] Computability Theory Seminar

[Chad Nester]

We're going to start doing this again. The next talk is tomorrow (Friday,
July 24th) in ICT 616 at 3:00 pm.

we'll be picking up where we left off last time, when we covered the
primitive recursive functions and constructions using them.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150723/4c769fd5/attachment.html