选择公理 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "选择公理" in Chinese language version.

refsWebsite

Global rank Chinese rank

1,564^th place

1,640^th place

1web.archive.org

1^st place

1^st place

low place

low place

cmu.edu

cs.cmu.edu

Per Martin-Löf, Intuitionistic type theory （页面存档备份，存于互联网档案馆）, 1980. Anne Sjerp Troelstra, Metamathematical investigation of intuitionistic arithmetic and analysis, Springer, 1973.

web.archive.org

Per Martin-Löf, Intuitionistic type theory （页面存档备份，存于互联网档案馆）, 1980. Anne Sjerp Troelstra, Metamathematical investigation of intuitionistic arithmetic and analysis, Springer, 1973.

wikipedia.org

en.wikipedia.org

Devlin, Keith. Constructibility. Springer-Verlag. 1984. ISBN 3-540-13258-9.