"Handbook of recursive mathematics. Vol. 1: Recursive model theory" - читать интересную книгу автора (Author Unknown)