"PRINCIPLES OF MATHEMATICAL LOGIC. CHELSEA PUBL. 1950. " - читать интересную книгу автора (D & W ACKERMANN HILBERT)