Зведений каталог бібліотек Києва

 

В1
Д721Драгалин, Альберт
    Математический интуиционизм. Введение в теорию доказательств [Текст] / Альберт Драгалин. — Москва : Наука, 1979. — 256 с.


- Ключові слова:

логіка математична, логика математическая

- Зміст:

Электронная мультимедийная библиотека.

- Теми документа

  • ББК науковий // Основи математики та математична логіка



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету 2 Перейти на сайт