Modal logic

Guardat en:
Dades bibliogràfiques
Autors principals: Blackburn, Patrick, 1959-, Rijke, Maarten de (Autor), Venema, Yde, 1963- (Autor)
Format: Livre papier
Idioma:Anglais
Publicat: Cambridge ; New York : Cambridge University Press cop. 2001.
Col·lecció:Cambridge tracts in theoretical computer science 53
Matèries:
Autres localisations: Voir dans le Sudoc
Descripció
Descripció física:1 vol. (XXII-554 p.) : ill. ; 24 cm.
Bibliografia:Bibliogr. p. 524-543. Index
ISBN:0521802008 (rel.)
0521527147 (br.)