Projekteja vuodessa
Hakutulokset
-
Päättynyt
Plurality vs. uniqueness: dependence logic and set-theoretic aspects
Väänänen, J. (Projektinjohtaja)
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
-
CIMO Fellowship Gianluca Paolini TM-13-8847
Väänänen, J. (Projektinjohtaja)
01/10/2013 → 31/12/2014
Projekti: Tutkimusprojekti
-
Matemaattinen logiikka ja sen sovellutukset
Väänänen, J. (Projektinjohtaja)
01/09/2011 → 31/08/2015
Projekti: Tutkimusprojekti
-