Metamathematics Seminar

by Jan Malakhovski

Seminar and crash course on metamathematics.

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

Plan


Was this useful? Do you want me spending more time working on similar things?

Support me via: