Encyclopedia of Math Encyclopedia sourcePublicationDocument

К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

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

← references · 1

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

← cites · 1

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