TY  - SER
AU  - ЧУХЛЄБ,А.
TI  - МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ МНОЖИН У ПРОГРАМУВАННІ
ER  -