عنوان
پدید آورنده
موضوع
رده
QA 9.46 .B56M6
QA
9
.
46
.
B56M6
کتابخانه
محل استقرار
Modal logic
Cambridge ]England[
Cambridge University Press
c2001
xxii, 554 p
Cambridge tracts in theoretical computer science; 35
Bibliography: p.524-543
ISBN: 0521527147
Patrick Blackburn, Maarten de Rijke, Yde Venema
1
، Modality )Logic(
QA
9
.
46
.
B56M6
Blackburn, Patrik, 9591-
AU
AU Rijke, Maarten de
AU Venema, Yde, 1963-
TI
SE
