Поиск :
Личный кабинет :
Электронный каталог: Клини, Стивен Коул - Математическая логика
Клини, Стивен Коул - Математическая логика
Экз. чит. зала
Книга
51 К493
Клини, Стивен Коул.
Математическая логика / С. К. Клини; Пер. с англ. Ю. А. Гастева; Под ред. Г. Е. Минца . - Москва : Мир, 1973 . - 480 с. - Нормализация доказательства, Функциональная форма ... - Библиогр.: с. 451-465 . - В кн. также: Нормализация доказательства; Функциональная форма: Теорема Эрбрана для непредваренных формул / Г. Е. Минц . - На рус. яз.
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = виды изданий : научные издания
доп.книгообеспеченность = Доп.книгообеспеченность: книги
профили = Преподавание математики и информатики:Бак:ИМИ
профили = Информатика и Математика:Бак:ИМИ
профили = Математика и Компьютерные науки:Бак:ИМИ
профили = Математика и Экономика:Бак:ИМИ
00000000665371 ФИЗН 51 К493
00000000105577 МАТУ 51мл К493
00000000105578 МАТУ 51мл К493
00000000105579 МАТУ 51мл К493
00000000105580 МАТУ 51мл К493
00000000105581 МАТУ 51мл К493
00000000105582 МАТУ 51мл К493
00000000105584 МАТУ 51мл К493
00000000105583 МАТУ 51мл К493
00000000105585 МАТУ 51мл К493
00000000105586 МАТУ 51мл К493
00000000105587 МАТУ 51мл К493
00000000105588 МАТУ 51мл К493
00000000105589 МАТУ 51мл К493
00000000105590 МАТУ 51мл К493
00000000105591 МАТУ 51мл К493
00000000105592 МАТУ 51мл К493
00000000105593 МАТУ 51мл К493
00000000105594 МАТУ 51мл К493
00000000105595 МАТУ 51мл К493
00000000105596 МАТУ 51мл К493
00000000105597 МАТУ 51мл К493
00000000105598 МАТУ 51мл К493
00000000105599 МАТУ 51мл К493
00000000105600 МАТУ 51мл К493
00000000105601 МАТУ 51мл К493
00000000105602 МАТУ 51мл К493
00000000105603 МАТУ 51мл К493
00000000105604 МАТУ 51мл К493
00000000105605 МАТУ 51мл К493
00000000105606 МАТУ 51мл К493
00000000105607 МАТУ 51мл К493
00000000105608 МАТУ 51мл К493
00000000105609 МАТУ 51мл К493
00000000105610 МАТУ 51мл К493
00000000105611 МАТУ 51мл К493
00000000105612 МАТУ 51мл К493
00000000105613 МАТУ 51мл К493
00000000105614 МАТУ 51мл К493
00000000105615 МАТУ 51мл К493
00000000105616 МАТУ 51мл К493
00000000105617 МАТУ 51мл К493
00000000105618 МАТУ 51мл К493
00000000105619 МАТУ 51мл К493
00000000105620 МАТУ 51мл К493
00000000105621 МАТУ 51мл К493
00000000105622 МАТУ 51мл К493
00000000349675 МАТУ 51мл К493
00000000105623 МАТУ 51мл К493
00000000105624 МАТУ 51мл К493
00000000105625 МАТУ 51мл К493
00000000105626 МАТУ 51мл К493
00000000105627 МАТУ 51мл К493
00000000105628 МАТУ 51мл К493
00000000105629 МАТУ 51мл К493
00000000105630 МАТУ 51мл К493
00000000105631 МАТУ 51мл К493
00000000105632 МАТУ 51мл К493
00000000105633 МАТУ 51мл К493
00000000105634 МАТУ 51мл К493
00000000105635 МАТУ 51мл К493
00000000105636 МАТУ 51мл К493
00000000105637 МАТУ 51мл К493
00000000105638 МАТУ 51мл К493
00000000105639 МАТУ 51мл К493
00000000105640 МАТУ 51мл К493
00000000105641 МАТУ 51мл К493
00000000105574 МАТЧ 51мл К493
00000000105642 МАТУ 51мл К493
00000000105643 МАТУ 51мл К493
00000000105644 МАТУ 51мл К493
00000000105645 МАТУ 51мл К493
00000000105646 МАТУ 51мл К493
00000000105647 МАТУ 51мл К493
00000000105648 МАТУ 51мл К493
00000000105649 МАТУ 51мл К493
00000000105650 МАТУ 51мл К493
00000000105651 МАТУ 51мл К493
00000000105652 МАТУ 51мл К493
00000000105653 МАТУ 51мл К493
00000000105654 МАТУ 51мл К493
00000000105655 МАТУ 51мл К493
00000000105656 МАТУ 51мл К493
00000000105657 МАТУ 51мл К493
00000000105658 МАТУ 51мл К493
00000000105659 МАТУ 51мл К493
00000000105660 МАТУ 51мл К493
00000000105575 МАТУ 51мл К493
00000000105576 МАТУ 51мл К493
00000000105661 МАТУ 51мл К493
00000000105662 МАТУ 51мл К493
00000000481937 МАТГУ 51мл К493
00000000481938 МАТГУ 51мл К493
00000000481939 МАТГУ 51мл К493
00000000481940 МАТГУ 51мл К493
00000000481941 МАТГУ 51мл К493
00000000481942 МАТГУ 51мл К493
00000000481943 МАТГУ 51мл К493
00000000481944 МАТГУ 51мл К493
00000000481945 МАТГУ 51мл К493
00000000482580 МАТГЧ 51мл К493
00000000481946 МАТГУ 51мл К493
51 К493
Клини, Стивен Коул.
Математическая логика / С. К. Клини; Пер. с англ. Ю. А. Гастева; Под ред. Г. Е. Минца . - Москва : Мир, 1973 . - 480 с. - Нормализация доказательства, Функциональная форма ... - Библиогр.: с. 451-465 . - В кн. также: Нормализация доказательства; Функциональная форма: Теорема Эрбрана для непредваренных формул / Г. Е. Минц . - На рус. яз.
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = виды изданий : научные издания
доп.книгообеспеченность = Доп.книгообеспеченность: книги
профили = Преподавание математики и информатики:Бак:ИМИ
профили = Информатика и Математика:Бак:ИМИ
профили = Математика и Компьютерные науки:Бак:ИМИ
профили = Математика и Экономика:Бак:ИМИ
00000000665371 ФИЗН 51 К493
00000000105577 МАТУ 51мл К493
00000000105578 МАТУ 51мл К493
00000000105579 МАТУ 51мл К493
00000000105580 МАТУ 51мл К493
00000000105581 МАТУ 51мл К493
00000000105582 МАТУ 51мл К493
00000000105584 МАТУ 51мл К493
00000000105583 МАТУ 51мл К493
00000000105585 МАТУ 51мл К493
00000000105586 МАТУ 51мл К493
00000000105587 МАТУ 51мл К493
00000000105588 МАТУ 51мл К493
00000000105589 МАТУ 51мл К493
00000000105590 МАТУ 51мл К493
00000000105591 МАТУ 51мл К493
00000000105592 МАТУ 51мл К493
00000000105593 МАТУ 51мл К493
00000000105594 МАТУ 51мл К493
00000000105595 МАТУ 51мл К493
00000000105596 МАТУ 51мл К493
00000000105597 МАТУ 51мл К493
00000000105598 МАТУ 51мл К493
00000000105599 МАТУ 51мл К493
00000000105600 МАТУ 51мл К493
00000000105601 МАТУ 51мл К493
00000000105602 МАТУ 51мл К493
00000000105603 МАТУ 51мл К493
00000000105604 МАТУ 51мл К493
00000000105605 МАТУ 51мл К493
00000000105606 МАТУ 51мл К493
00000000105607 МАТУ 51мл К493
00000000105608 МАТУ 51мл К493
00000000105609 МАТУ 51мл К493
00000000105610 МАТУ 51мл К493
00000000105611 МАТУ 51мл К493
00000000105612 МАТУ 51мл К493
00000000105613 МАТУ 51мл К493
00000000105614 МАТУ 51мл К493
00000000105615 МАТУ 51мл К493
00000000105616 МАТУ 51мл К493
00000000105617 МАТУ 51мл К493
00000000105618 МАТУ 51мл К493
00000000105619 МАТУ 51мл К493
00000000105620 МАТУ 51мл К493
00000000105621 МАТУ 51мл К493
00000000105622 МАТУ 51мл К493
00000000349675 МАТУ 51мл К493
00000000105623 МАТУ 51мл К493
00000000105624 МАТУ 51мл К493
00000000105625 МАТУ 51мл К493
00000000105626 МАТУ 51мл К493
00000000105627 МАТУ 51мл К493
00000000105628 МАТУ 51мл К493
00000000105629 МАТУ 51мл К493
00000000105630 МАТУ 51мл К493
00000000105631 МАТУ 51мл К493
00000000105632 МАТУ 51мл К493
00000000105633 МАТУ 51мл К493
00000000105634 МАТУ 51мл К493
00000000105635 МАТУ 51мл К493
00000000105636 МАТУ 51мл К493
00000000105637 МАТУ 51мл К493
00000000105638 МАТУ 51мл К493
00000000105639 МАТУ 51мл К493
00000000105640 МАТУ 51мл К493
00000000105641 МАТУ 51мл К493
00000000105574 МАТЧ 51мл К493
00000000105642 МАТУ 51мл К493
00000000105643 МАТУ 51мл К493
00000000105644 МАТУ 51мл К493
00000000105645 МАТУ 51мл К493
00000000105646 МАТУ 51мл К493
00000000105647 МАТУ 51мл К493
00000000105648 МАТУ 51мл К493
00000000105649 МАТУ 51мл К493
00000000105650 МАТУ 51мл К493
00000000105651 МАТУ 51мл К493
00000000105652 МАТУ 51мл К493
00000000105653 МАТУ 51мл К493
00000000105654 МАТУ 51мл К493
00000000105655 МАТУ 51мл К493
00000000105656 МАТУ 51мл К493
00000000105657 МАТУ 51мл К493
00000000105658 МАТУ 51мл К493
00000000105659 МАТУ 51мл К493
00000000105660 МАТУ 51мл К493
00000000105575 МАТУ 51мл К493
00000000105576 МАТУ 51мл К493
00000000105661 МАТУ 51мл К493
00000000105662 МАТУ 51мл К493
00000000481937 МАТГУ 51мл К493
00000000481938 МАТГУ 51мл К493
00000000481939 МАТГУ 51мл К493
00000000481940 МАТГУ 51мл К493
00000000481941 МАТГУ 51мл К493
00000000481942 МАТГУ 51мл К493
00000000481943 МАТГУ 51мл К493
00000000481944 МАТГУ 51мл К493
00000000481945 МАТГУ 51мл К493
00000000482580 МАТГЧ 51мл К493
00000000481946 МАТГУ 51мл К493