Глава II. Логика в математике [1984 Нагибин Ф.Ф., Канин Е.С ...