"Annals of Pure and Applied Logic, Volume 152, Issues 1-3, Pages 1-180 (March 2008)" - читать интересную книгу автора (Elsevier)