Członkostwo w komitetach redakcyjnych czasopism

1. Fundamenta Mathematicae (od 1997)
2. Annals of Pure an Applied Logic (North-Holland, 1983-1988)
3. Colloquium Mathematicum (1992-2000)
4. ACM Transactions on Computational Logic (od 1999)
5. Annals of Pure an Applied Logic (North-Holland, od 2001)