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

Kleene S. С.

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

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

← автор · 1

The foundations of intuitionistic mathematics, Amst