Ulam Games, Lukasiewicz Logic, and AF C*-Algebras.

Daniele Mundici Ulam Games, Lukasiewicz Logic, and AF C*-Algebras. 151-161 1993 18 Fundam. Inform. db/journals/fuin/fuin18.html#Mundici93