Поиск :
Личный кабинет :
Электронный каталог: Теория доказательств и конструктивная математика
Теория доказательств и конструктивная математика
Книга
Автор:
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика
Издательство: Наука, 1983 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика
Издательство: Наука, 1983 г.
ISBN отсутствует
Многотомник
22.12я2
Справочная книга по математической логике : в 4-х ч. / под ред. Дж. Барвайс ; пер. С. С. Гончаров ; пер., под ред. и с предисл. Ю. Л. Ершов . – Москва : Наука, 1982 . – На рус. яз.
Книга
22.12я2 С74
Ч. 4 : Теория доказательств и конструктивная математика / под ред. Дж. Барвайс ; пер. С. С. Гончаров ; пер., под ред. и с предисл. Ю. Л. Ершов . – Москва : Наука, 1983 . – 388 с. – На рус. яз. : 2.10 .
ББК 22.12я2
Ключевые слова = Математическая логика
Предметные рубрики = Естественные науки : Физико-математические науки : Математика : Основания математики. Математическая логика
Ключевые слова = Доказательств теория в математической логике
511929 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511930 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511931 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511932 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511933 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
512253 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
512254 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
512252 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
22.12я2
Справочная книга по математической логике : в 4-х ч. / под ред. Дж. Барвайс ; пер. С. С. Гончаров ; пер., под ред. и с предисл. Ю. Л. Ершов . – Москва : Наука, 1982 . – На рус. яз.
Книга
22.12я2 С74
Ч. 4 : Теория доказательств и конструктивная математика / под ред. Дж. Барвайс ; пер. С. С. Гончаров ; пер., под ред. и с предисл. Ю. Л. Ершов . – Москва : Наука, 1983 . – 388 с. – На рус. яз. : 2.10 .
ББК 22.12я2
Ключевые слова = Математическая логика
Предметные рубрики = Естественные науки : Физико-математические науки : Математика : Основания математики. Математическая логика
Ключевые слова = Доказательств теория в математической логике
511929 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511930 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511931 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511932 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
511933 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
512253 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
512254 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74
512252 Библиотека аб. науч. и худ. л-ры фонд научных изданий 22.12я2 С74