Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

К1ееnе S. С., Yes ley R. E., The foundations of intuitionistic mathematics, Amst

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

Данные

bibliographicCitation

К1ееnе S. С., Yes ley R. E., The foundations of intuitionistic mathematics, Amst., 1965

Входящие связи

← ссылается на · 1

Бар-индукция

← цитирует · 1

Бар-индукция