coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]drinker paradox

From: Venanzio Capretta <venanzio AT site.uottawa.ca>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]drinker paradox
Date: Thu, 11 May 2006 11:09:10 -0400
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,
just a curiosity: can somebody give me some references for the drinker
paradox. The Coq tutorial says that it is by Smullyan: in which of his
books can I find it?

Cheers,
Venanzio

[Coq-Club]drinker paradox, Venanzio Capretta