Metamathematics Seminar

by Jan Malakhovski

Seminar and crash course on metamathematics..

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

Plan