Jon Barwise
Kenneth Jon Barwise was an American mathematician, philosopher, and logician known for influential work on logic, language, and the foundations of mathematics. He was a professor at Indiana University and a founding member of the Center for the Study of Language and Information (CSLI).
Jun 29, 1942
Wikipedia
logic
philosophy
mathematics
Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 44)
Situation Theory and Its Applications, Volume 2 (Volume 26) (Lecture Notes)
Turing's World 3.0 for the Macintosh: An Introduction to Computability Theory/Book and Disk (Csli Lecture Notes)