Матэнциклопедия Персона

Troelstra A. S.

http://libmeta.ru/resource/mathenc/author/a2595

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

← автор · 1

в кн.: Metamathematical investigation of intuitionistic arithmetic and analysis…