Skip to main content

Mathematical Logic and Programming Languages

Editor
C.A.R. Hoare and J.C. Shepherdson
ISBN
0−13−561465−1
Note
The papers in this book were first published in the Philosophical Transactions of the Royal Society Series A‚ Vol. 312‚ 1984.
Publisher
Prentice−Hall
Year
1985