Cox S (2009) In: Annals of Pure and Applied Logic, 161(1) Type of Publication: Research article (journal) |
Duration: 02/06/2010 - 31/12/2014 | 1st Funding period Funded by: DFG - Collaborative Research Centre Type of project: Subproject in DFG-joint project hosted at University of Münster |