David Deutsch Artur Ekert Rossella Lupacchini Machines, logic and quantum physics. 265-283 2000 3 Bulletin of Symbolic Logic 3 http://www.math.ucla.edu/~asl/bsl/0603/0603-001.ps db/journals/bsl/bsl6.html#DeutschEL00