Jouko Väänänen
University of Amsterdam
Publication
Featured researches published by Jouko Väänänen.
Studia Logica | 2013
Erich Grädel; Jouko Väänänen
We introduce an atomic formula
Annals of Pure and Applied Logic | 1995
Phokion G. Kolaitis; Jouko Väänänen
The Bulletin of Symbolic Logic | 2001
Jouko Väänänen
{\vec{y} \bot_{\vec{x}}\vec{z}}
Synthese | 2009
Samson Abramsky; Jouko Väänänen
Journal of Logic, Language and Information | 2009
Juha Kontinen; Jouko Väänänen
intuitively saying that the variables
Mathematical Logic Quarterly | 1992
Gabriel Sandu; Jouko Väänänen
Logic Journal of The Igpl \/ Bulletin of The Igpl | 2002
Jouko Väänänen
{\vec{y}}
Journal of Logic, Language and Information | 1997
Jouko Väänänen
Annals of Pure and Applied Logic | 2013
Juha Kontinen; Jouko Väänänen
are independent from the variables
Transactions of the American Mathematical Society | 1993
Alan H. Mekler; Saharon Shelah; Jouko Väänänen
