From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference [chapter]

Samson Abramsky, Jonathan Zvesper
2012 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-32784-1_1 fatcat:76atx6whdjfplexegqjgnq7ofe