%0 Journal Article %A Theo K. Dijkstra %T Pyrrho's Lemma, or have it your Way. %J Metrika %D 1995 %P 119-126 %V 42 %N 3-4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MET_1995__42_3-4_176564/ %F MET_1995__42_3-4_176564