Väänänen, Jouko

name

• Väänänen, Jouko

Authored works

• [DELTA]-extension and Hanf-numbers
• A quantifier for isomorphisms
• Abstract logic and set theory : 1, Definability
• Boolean valued models and generalized quantifiers
• Matemaattinen logiikka
• Models and games
• Muistio logiikan jatkokoulutuksesta
• Some remarks on pseudocompact spaces
• Two axioms of set theory with applications to logic
• Väestönsuojelu : humanitarismia vai selustaa sodalle?

Works contributed to

• Johdatus logiikkaan
• Matematiikan taito : 12, Numeeriset menetelmät
• Nuoriso ja asevelvollisuus
• Pasifistinen vakaumus
• Proceedings of the Symposiums on Mathematical Logic in Oulu 1974 and in Helsinki 1975
• Rauhaa, peace! : pasifismin klassikoita : uusintapainos 2500 vuotta vanhasta aiheesta
• Youth and conscription

Works about Väänänen, Jouko