Первоисточники:

Модуль 1. Определения.

Модуль 2. Определения.

Модуль 3. Определения.

Все доказательства:

Сноска: