Пошук :
Довідка :
Електронний каталог : Книги у рубриці: Логіка, математична
Рубрики
--> Логіка, математична
Друк списку
--> Логіка, математична
Рубрика
- Назва:
- Логіка, математична
Друк списку
Зв'язані описи:
Книга
Kalmár, László
Contributions to the reduction theory of the decision problem: Third paper Prefix (x1)(Ex2)...(Exn−2)(xn−1)(xn), a single binary predicate
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Kalmár, László
Contributions to the reduction theory of the decision problem: Third paper Prefix (x1)(Ex2)...(Exn−2)(xn−1)(xn), a single binary predicate
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Книга
Spisani, Franco
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International Logic Review, 1977 г.
ISBN відсутній
Spisani, Franco
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International Logic Review, 1977 г.
ISBN відсутній
Книга
Драгалин Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Едиториал УРСС, 2003 г.
ISBN 5-354-00387-3
Драгалин Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Едиториал УРСС, 2003 г.
ISBN 5-354-00387-3
Книга
Зыков Александр Александрович
Логико-философское введение в высшую математику: учебное пособие
Астропринт, 2008 г.
ISBN 966-318-093-5
Зыков Александр Александрович
Логико-философское введение в высшую математику: учебное пособие
Астропринт, 2008 г.
ISBN 966-318-093-5
Книга
Присакару, К. Ф.
Ложика математикэ ши математика дискретэ: материал дидактик
[б.и.], 1981 г.
ISBN відсутній
Присакару, К. Ф.
Ложика математикэ ши математика дискретэ: материал дидактик
[б.и.], 1981 г.
ISBN відсутній
Книга
Успенский, Владимир Андреевич
Теорема Гёделя о неполноте: [брошюра]
Наука, 1982 г.
ISBN відсутній
Успенский, Владимир Андреевич
Теорема Гёделя о неполноте: [брошюра]
Наука, 1982 г.
ISBN відсутній
Книга
Лисовик Леонид Петрович
Т. 1: Главы 13-17. Книга 3. Алгебра и автоматы. II
2005 г.
ISBN 966-651-250-5
Лисовик Леонид Петрович
Т. 1: Главы 13-17. Книга 3. Алгебра и автоматы. II
2005 г.
ISBN 966-651-250-5
Книга
Лисовик Леонид Петрович
Т. 1: Главы 1-4. Книга 1. Типы языков и машин
2005 г.
ISBN 966-651-251-3
Лисовик Леонид Петрович
Т. 1: Главы 1-4. Книга 1. Типы языков и машин
2005 г.
ISBN 966-651-251-3