Автор: Ю. А. Шиханович

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю....