Paradoxo do bêbado (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Paradoxo do bêbado" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

3^rd place

6^th place

low place

2,467^th place

6,770^th place

6,934^th place

8,860^th place

bham.ac.uk

Peter J. Cameron (1999). Sets, Logic and Categories. [S.l.]: Springer. p. 91. ISBN 978-1-85233-056-9
J. Harrison (2008). «Automated and Interactive Theorem Proving». In: Orna Grumberg, Tobias Nipkow, Christian Pfaller. Formal Logical Methods for System Security and Correctness. [S.l.]: IOS Press. pp. 123–124. ISBN 978-1-58603-843-4

H.P. Barendregt (1996). «The quest for correctness». Images of SMC Research 1996 (PDF). [S.l.]: Stichting Mathematisch Centrum. pp. 54–55. ISBN 978-90-6196-462-9