Barwise, Jon.
· 15 obras en el catálogo
Obras

Situations and attitudes

The language of first-order logic

Vicious circles

The liar

The situation in logic

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

Hyperproof

Tarski's World
Two replies
The situation in logic-IV
Tarski's world 3.0
Turing's World 3.0 for Windows
