عنوان
پدید آورنده
موضوع
رده
QA 76 .H2785 1992
QA
76
.
H2785
1992
کتابخانه
محل استقرار
105290
108165
زمستان۳۷
English
)12(
Handbook of logic in computer science
Oxford
Clarendon Press
1992-
v. : ill. ; 25 cm
Includes bibliographical references and indexes
v. 1. Background, mathematical structure -- v. 2. Background, computational structure
، Computer science
، Logic, Symbolic and mathematical
QA
76
.
H2785
1992
TI
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
AU nosmaS ,yksmarbA 1953-
AU M voD ,yabbaG 1945-
AU .E .S samohT ,muabiaM 1947-
131
131
