Lavrov, Igor' Andreevic. Zadania z teorii mnogości logiki matematycznej i teorii algorytmów / Igor' Andreevic Lavrov, Larisa L'vovna Maksimova ; tł. z ros. - Warszawa : Wydaw. Nauk. PWN, 2004. - VIII, 316 s. : il. ; 24 cm. bibliogr. ISBN: 8301142383