Jouko Väänänen

• Dependence Logic
• Generalized Quantifiers and Computation
• Logic Colloquium '90
• Logic Colloquium '90
• Models and Games
• Puoli vuosisataa iloista auttamista
• Two axioms of set theory with applications to logic
• Youth and conscription