Dependence logic

Kurssikoodi

57222

Esitietovaatimukset

Matemaattinen logiikka

Tyyppi

Syventävä opinto.

Kurssisivut

Dependence logic, fall 2008
Dependence logic, spring 2011

Laajuus

10 op.