عنوان
پدید آورنده
موضوع
رده
QA 76 .H27 1992
QA
76
.
H27
1992
کتابخانه
محل استقرار
English
Handbook of logic in computer science
Oxford, New York
Clarendon Press, Oxford University Press
1992-
v. <1-2 >: ill.; 25 cm
1
1
2
2
Includes bibliographical references and indexes
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
R
1
2
1
2
v. 1. Background, mathematical structure -- v. 2. Background, computational structure
، Computer science
، Logic, Symbolic and mathematical
QA
76
.
H27
1992
CA
004
TI
AU Abramsky 1953-
AU Gabbay 1945-
AU Maibaum 1947-
