"Computability, Complexity, Logic, Volume 128 (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (E. Börger)