Media type: Book Title: Modal logic Contributor: Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 2010 Published in: Cambridge tracts in theoretical computer science ; 53.2010 Issue: 4. print. with corr. Extent: XXII, 554 S.; graph. Darst Language: English ISBN: 9780521527149; 9780521802000 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Modallogik Origination: Footnote: Literaturverz. S. 524 - 543
Departmental Library DrePunct Shelf-mark: SK 130 B628 Item ID: 33243802 Status: Verfügbarkeit bitte in Prof Computational Logic erfragen.
Departmental Library DrePunct Shelf-mark: SK 130 B628 Item ID: 34479364 Status: Verfügbarkeit bitte in Prof Computational Logic erfragen.