Re: A missing definition in "Gödel's Proof" by Nagel & Newman (open letter)



On Fri, 02 Nov 2007 21:32:38 -0000, translogi <wilemien@xxxxxxxxxxxxxx>
wrote:


In intuitionistic logic [...]

Relevance for the present thread?


F.

--

E-mail: info<at>simple-line<dot>de
.


Quantcast