1. and , A Course in Mathematical Logic. North-Holland Publ. Comp., Amsterdam 1977.
2. Graphes Extensionnels et Axiome D'universalité
3. and , Guide to Alternative Set Theory. In: Proc. 1st Symposium “Mathematics in the Alternative Set Theory”, Starà Lesnà 1989,