Metamathematics Seminar

by Jan Malakhovski

Seminar and crash course on metamathematics.

This is like TTFV, but for the more theory-minded people.

Plan