TTarski's world 3.0Tarski's world 3.0de Barwise, Jon.MateriasFirst-order logicTarski's worldLogic, symbolic and mathematicalEdiciones (1)Tarski's world 3.0 (1991)Center for the Study of Language and Information · inglésMás obras de Barwise, Jon.Situations and attitudesThe language of first-order logicVicious circlesThe liar
Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)