TY  - BOOK
AU  - Wansing Heinrich
TI  - Logic of information structures
SN  - 3-540-56734-8
U1  - 511.3 
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlqag
KW  - Infirmation structure
KW  - Mathematical logic
ER  -