Modal logic

Enregistré dans:
Bibliografiske detaljer
Auteurs principaux: Blackburn, Patrick, 1959-, Rijke, Maarten de (Auteur), Venema, Yde, 1963- (Auteur)
Format: Livre papier
Sprog:Anglais
Udgivet: Cambridge ; New York : Cambridge University Press cop. 2001.
Serier:Cambridge tracts in theoretical computer science 53
Fag:
Autres localisations: Voir dans le Sudoc

INSA CVL Bourges

Detaljer om beholdninger fra INSA CVL Bourges
  Sted Klassifikationsnummer Type de prêt Status
Mathématiques 511.3 BLA Empruntable Tilgængelig