Исчисление конструктивной логики с подчиненными переменными

  • 01.00.00 Физика и математика

Ленингр. гос. ун-т им. А. А. Жданова, Ленинград

343 стр.

Исчисление конструктивной логики с подчиненными переменными — Идельсон, Александр Владимирович — 1965 — Российская библиотека диссертаций