Математический интуиционизм. Введение в теорию доказательств · LibMeta · SciLib
Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

http://libmeta.ru/resource/mathenc/publication/p9886

Данные

bibliographicCitationДрагалин А. Г., Математический интуиционизм. Введение в теорию доказательств, М., 1979