Barwise, Jon.

No biography available.

Works (7)

Cover of Situations and attitudes

Situations and attitudes

Cover of The situation in logic

The situation in logic

Cover of Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

Cover of The language of first-order logic

The language of first-order logic

Cover of Hyperproof

Cover of Tarski's World

Cover of Vicious circles

Vicious circles