Title
Mathematical logic and programming languages
Catalog Number
102676758
Type
Document
Description
"The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984. "
Date
1985
Author
Hoare, C. A. R.; Shepherdson, J. C.; Royal Society (Great Britain)
Publisher
Prentice-Hall International
Place of Publication
Englewood Cliffs, N.J.
Identifying Numbers
ISBN10 |
0135614651 |
LOC call num |
QA76.6 .M3646 1985 |
Extent
184 p.
Dimensions
25 cm.
Category
Book
Subject
Logic
Series Title
Prentice-Hall International series in computer science