Логическое исчисление

Логи́ческое исчисле́ние, исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

Статья находится в рубриках

Как стать автором

Важно знать Учебный курс

Возник вопрос?

Частые вопросы Задать вопрос редакции

Сообщите нам

Пожаловаться Предложить идею

Текст доступен по лицензии Attribution-NonCommercial-ShareAlike 3.0 Unported; в отдельных случаях могут действовать дополнительные условия. См: Пользовательское соглашение