Metamatematika teorií množin - Sochor, Antonín, 1942-2008 (Karolinum, 2005)