Mathematical logic and programming languages
Author(s)
Bibliographic Information
Mathematical logic and programming languages
（Prentice-Hall International series in computer science）
Prentice Hall International, c1985
Available at / 39 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||London||1984.285006366
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:005.13/sh482070292551
-
No Libraries matched.
- Remove all filters.
Note
The papers in this book were first published in the Philosophical Transactions of the Royal Society, Series A, Vol. 312, 1984