Математическая логика и основания математики

Математическая энциклопедия. Том 2. Д - Коо