Encyclopedia of Math Person

Troelstra A. S.

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

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

← author · 1

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