Драгалин, Альберт Григорьевич.<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Математический интуиционизм : Введение в теорию доказательств / А. Г. Драгалин. &mdash; Москва : Наука, 1979. &mdash; 256 с. : черт. (Математическая логика и основания математики).<br><br> Библиогр.: с. 240-250 <br> Имен., предм. указ.: с. 251-256.<br><br><br>УДК: 510.6 <br><br>[ SYS NUM: 30226 ]