Paradoxe du buveur (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Paradoxe du buveur" in French language version.

refsWebsite

Global rank French rank

1books.google.com

3^rd place

11^th place

low place

low place

1ru.nl

9,179^th place

low place

6,934^th place

low place

bham.ac.uk

cs.bham.ac.uk

(en) « Searchable Sets, Dubuc-Penon Compactness, Omniscience Principles, and the Drinker Paradox ».

books.google.com

Peter J. Cameron, Sets, Logic and Categories, Springer, 1999, 182 p. (ISBN 978-1-85233-056-9, lire en ligne), p. 91

cwi.nl

oai.cwi.nl

H. P. Barendregt, Images of SMC Research 1996, Stichting Mathematisch Centrum, 1996, 54–55 p. (ISBN 978-90-6196-462-9, lire en ligne), « The quest for correctness ».

ru.nl

cs.ru.nl

(en) Freek Wiedijk. 2001. « Mizar Light for HOL Light » [PDF]. 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.