Encyclopedia of Math Encyclopedia sourcePublicationDocument

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)

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

← references · 1

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

← cites · 1

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