**Math 125B**

**Introduction to Mathematical Logic**

UC Berkeley, Spring 1987

**Instructor:**

Sam Buss

**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.