Lenore Blum, Charles Chihara, William Craig, Daniel Dennett, Richard Karp, and Barry Stroud generously helped at various stages of the paper.
That’s an interesting combination.
That’s an interesting combination.