Barton L. Lipman

• Partial provability in communication games