|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: Nested prooves by contraction?''
by ratboy on 2008-07-02 21:02:13 |
|
| > Thanks for the example. Our PM entry here says the proof is
> 255 pages long. The link you provide to Project Euclid leads
> to a document that is not that long, but it does look quite
> convoluted.
Sorry, the correct url is:
http://projecteuclid.org/DPubS?service=UI&version=
1.0&verb=Display&handle=euclid.pjm/1103053941 |
| | [ reply | up | top ] |
|
|
|
|
|
|
