Drinker paradox (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Drinker paradox" in English language version.

refsWebsite

Global rank English rank

6^th place

1^st place

low place

3^rd place

9,179^th place

6,972^nd place

6,934^th place

4,192^nd place

archive.org

Martín Escardó; Paulo Oliva. "Searchable Sets, Dubuc-Penon Compactness, Omniscience Principles, and the Drinker Paradox" (PDF). Computability in Europe 2010: 2. {{cite journal}}: Cite journal requires |journal= (help)

H.P. Barendregt (1996). "The quest for correctness". Images of SMC Research 1996 (PDF). Stichting Mathematisch Centrum. pp. 54–55. ISBN 978-90-6196-462-9. Archived from the original (PDF) on 2015-07-11. Retrieved 2012-10-27.

Freek Wiedijk. 2001. Mizar Light for HOL Light. In Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs '01), Richard J. Boulton and Paul B. Jackson (Eds.). Springer-Verlag, London, UK, 378-394.

H.P. Barendregt (1996). "The quest for correctness". Images of SMC Research 1996 (PDF). Stichting Mathematisch Centrum. pp. 54–55. ISBN 978-90-6196-462-9. Archived from the original (PDF) on 2015-07-11. Retrieved 2012-10-27.