📖 Логические математические исчисления. Учебное пособие

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