Dependence logic
Kurssikoodi
57222
Esitietovaatimukset
Matemaattinen logiikka
Tyyppi
Syventävä opinto.
Kurssisivut
Dependence logic, fall 2008
Dependence logic, spring 2011
Laajuus
10 op.
57222
Matemaattinen logiikka
Syventävä opinto.
Dependence logic, fall 2008
Dependence logic, spring 2011
10 op.