A free variable calculus with variable splitting

Foredrag
5. juni 2003
Seminar i matematisk logikk