Логическая Машина

Логическая Машина в Энциклопедическом словаре:
Логическая Машина - механическое или электронное устройство для выполнениялогарифмических операций: оценки и преобразования формул, доказательстватеорем, преобразования информации и пр. Разработаны специализированныелогические машины; в качестве логических машин применяются такжеуниверсальные ЭВМ (по соответствующим программам).

Логицизм    Логическая Машина    Логическая Операция