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

"Ann. Math. Logic"

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

Данные

bibliographicCitation

Кrеisel G., Trоelstra A. S., "Ann. Math. Logic", 1970, v. 1, №3, p. 229-387

автор

Кrеisel G. Trоelstra A. S.

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

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

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

← цитирует · 1

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