Логический вывод / В. А. Смирнов. — Москва : Наука, 1979. — 310 с.

Subjects--Topical Terms:

Universal Decimal Class. No.: 162