Skip to end of metadata
Go to start of metadata

Dependence logic

Kurssikoodi

57222

Esitietovaatimukset

Matemaattinen logiikka

Tyyppi

Syventävä opinto.

Kurssisivut

Dependence logic, fall 2008
Dependence logic, spring 2011

Laajuus

10 op.

  • No labels