"Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0-387-90895-1)(Springer, 1984)(L)(T)(113s).djvu" - читать интересную книгу автора