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

TroelstraA. S., Metamathematical investigation of intuitionistic Arithmetic and Analysis, В

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

Данные

bibliographicCitation

TroelstraA. S., Metamathematical investigation of intuitionistic Arithmetic and Analysis, В., 1973 (Lect. Notes in Math., №344)

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

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

Интуиционизм

← цитирует · 1

Интуиционизм