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