Логические и математические исчисления — Юрий Александрович Шиханович
Аннотация к книге «Логические и математические исчисления»
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики — понятие доказательства) и о понятии исчисления.
Автор: Юрий Александрович Шиханович
