Mathematical logic and programming languages
By: edited by C.A.R. Hoare and J.C. Shepherdson.
Contributors: Hoare, C. A. R. 1934-; Shepherdson, J. C.
Series: Prentice Hall International series in computer science
Publisher: Prentice/Hall International
Published: 1985
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 184
Subjects: Programming languages (Electronic computers); Logic, Symbolic and mathematical.
Notes: Includes bibliographies.
"The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984."