Logic for applications
Author(s)
Bibliographic Information
Logic for applications
(Texts and monographs in computer science)
Springer-Verlag, c1993
- : us
- : gw
Available at / 31 libraries
-
University of Tsukuba Library, Library on Library and Information Science
: us007.64:N-65931015170
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: usdc20:005.1/n3582070285027
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 329-354) and indexes