Fortløpende skolemisering og variabelsplitting

Foredrag
14. April 2005
Seminar i matematisk logikk