Foredrag
5. juni 2003
Seminar i matematisk logikk

A free variable calculus with variable splitting