Электронный каталог
Основы теоретической логики
Аннотация:
Руководство по элементам математической логики
[Текст] / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Госиздат иностранной литературы, 1947. - 304 с. - Приложение: с. 208-296. - Список лит.: с. 297-298
Предметные рубрики:Математическая логика;
Логика (общие вопросы)
Ключевые слова: логика высказывания (комп.), математика, логическое исчисление, логические связи, исчисление (лог.), исчисление высказываний, предикаты (лог.), логистика, логика прикладная, доказательство (лог.), теория математического доказательства, сводимость (лог,), парадоксы, логические парадоксы
С полной печатной версией вы можете познакомиться по адресу:
| Отдел | Адрес | Телефон |
|---|---|---|
| Общий читальный зал | Новокузнецк, ул. Спартака, 11, 3 этаж | (3843) 74-46-91 |
Алфавитный указатель
A B C D E F G H I J K L M N O P Q R S T U V W X Y ZА Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я