"A course in mathematical logic" - читать интересную книгу автора (Bell J.L., Machover M.)

Книга удалена по просьбе правообладателя.