Исчисление

В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода).

Исчисления в математической логике:

Литература

править
  • Шиханович Ю.А. Логические и математические исчисления. — М.: Научный мир, 2011. — 256 с.
Примечания