000 00782cam a2200265 a 4500
001 194824
003 OSt
005 20180921
008 0000001973 sp A 0000000000spa00
020 _a84-309-0472-7
100 _aHughes, George Edward
245 _aIntroducción a la lógica modal
_cG. E. Hughes, M. J. Cresswell ; traducción Esperanza Guisan Seijas
260 _aMadrid :
_bEditorial Tecnos
300 _a316 p.
504 _aIncluye bibliografía e índice
650 _aAlgebra booleana
_aCálculo de predicados
_aCálculo proposicional
_aLógica
_aModalidad (Lógica
700 _aCresswell, M. J
_aGuisan Seijas, Esperanza, tr
040 _aDLC
_cDLC
942 _2ddc
_cBK
999 _c194824
_d19482400