Полное описание

RU\infra-m\znanium\bibl\395379
Ершов, Юрий Леонидович. Математическая логика / Ю. Л. Ершов, Е. А. Палютин. - 6, испр. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2011. - 356 с. - ISBN 978-5-9221-1301-4 : Б. ц.

	УДК
	510.6(075.8)

	ББК
	22.12

	РУБ
	01.03.01
	02.03.01
	01.03.02
	03.03.01
	03.03.02
	03.03.03
	01.03.03
	01.03.04

Рубрики:
Физико-математические науки

Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой.
Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Нет сведений об экземплярах
Электронная библиотечная система ZNANIUM
https://znanium.com/cover/0395/395379.jpg

Просмотр издания ЭБС ZNANIUM