And if you happen to be (able to read) Czech try [Sochor's Metamatematika Teorii Mnozin][1] [1]: http://cupress.cuni.cz/ink2_ext/index.jsp?include=podrobnosti&id=183301&zalozka=4