Math 125B
Introduction to Mathematical Logic
UC Berkeley, Spring 1987

Handwritten handouts:
    Recursive and Primitive Recursive Functions.
    Godel's 2nd Incompleteness Theorem.
    Ackermann Function is not Primitive Recursive.
    Partial Recursive Functions and Recursively Enumerable Sets.