Математический интуиционизм Введение в теорию доказательств

Драгалин, Альберт Григорьевич.
     Математический интуиционизм : Введение в теорию доказательств / А. Г. Драгалин. — Москва : Наука, 1979. — 256 с. : черт. (Математическая логика и основания математики).

Библиогр.: с. 240-250
Имен., предм. указ.: с. 251-256.


УДК: 510.6

[ SYS NUM: 30226 ]