Re: Not constructive proof of existing of an algorithm



On Mon, 25 Apr 2005 08:16:09 +0200, Roberto Bagnara <bagnara@xxxxxxxxxxx> wrote:

........

Thanks for explanation.

I.B.



--
Using Opera's revolutionary e-mail client: http://www.opera.com/m2/
.