582655
Formal Type Theory
Formal Type Theory
Formal Type Theory
Toistuminen
Ei määritelty
Tulevat erilliskokeet
Ei kokeita.
Kurssisivut
Osoite: Tietojenkäsittelytieteen laitos, PL 68 (Gustaf Hällströmin katu 2b), 00014 Helsingin yliopisto
Aukioloajat: Normaalisti syys- ja kevätlukukausien aikana ma - pe klo 7.45-19.45.
Puhelin: (09) 1911 (yliopiston vaihde)
Sähköposti: Palveluosoitteet
Faksi: (09) 1915 1120
