Grundläggande logik och modellteori

Kurssimateriaalia kurssille 5DV102 yliopistossa Umeå universitet, jaettuna kurssikavereiden kesken.