Information flow : the logic of distributed systems /

Bibliographic Details
Main Author: Barwise, Jon
Other Authors: Seligman, Jerry
Format: Book
Published: Cambridge : Cambridge University Press, 1997.
Series:Cambridge Tracts in Theoretical Computer Science ; 44
Subjects:

MARC

LEADER 00000nam a2200000 4500
001 046798
003 AR-CdUFF
005 20150731112509.0
008 040513s1997____|||||||||||||||||||ld
020 |a 0521583861 
040 |a AR-CdUFF 
100 1 |a Barwise, Jon 
245 1 0 |a Information flow : the logic of distributed systems /   |c Jon Barwise, Jerry Seligman. 
260 |a Cambridge :   |b Cambridge University Press,   |c 1997. 
300 |a xv, 274 p. ;   |c 24 cm 
490 0 |a Cambridge Tracts in Theoretical Computer Science ;   |v 44 
500 |a Bibliografía: p. 268-269 
505 0 |a Information flow. Information channels. A simple distributed system. Classifications and infomorphisms. Operations on classifications. Distributed systems. Boolean operations and classifications. State spaces. Regular theories. Operations on theories. Boolean operations and theories. Local logics. Reasoning at a distance. Representing local logics. Distributed logics. Logics and state spaces. Speech acts. Vagueness. Commonsense reasoning. Representation. Quantum logic 
650 4 |a PROCESAMIENTO ELECTRONICO DE DATOS 
700 1 |a Seligman, Jerry 
942 |c LIBRO 
910 |a 004.6 B 296 
500 |a C.I.F.F.Y.H.-Area Filosofía 
952 |0 0  |1 0  |3 E  |4 0  |6 004_600000000000000_B_296  |7 0  |9 64765  |a FFYH  |b FFYH  |c Humanidades  |d 2008-02-22  |e Fomec 98  |l 0  |o 004.6 B 296  |p 045361  |r 2009-06-29  |w 2009-06-29  |y LIBRO 
960 |a Corresponde a: Filosofia 
999 |c 50505  |d 50505