01088nam0-22003371i-450-9900010937504033210-13-561465-1000109375FED01000109375(Aleph)000109375FED0100010937520000920d1985----km-y0itay50------baengMathematical Logic and Programming Languagesedited by C.A.R. Hoare and J.C. ShepherdsonEnglewood Cliffs [etc.]Prentice-Hall1985184 p.24 cmPrentice-Hall international series in computer scienceFirst published in the "Philosophical Transactions of the Royal Society", Series A, Volume 312, 1984.LogicaRicorsività160Hoare,Charles Antony Richard567Shepherdson,J.C.ITUNINARICAUNIMARCBK9900010937504033217-26416640FI1FI1Mathematical Logic and Programming Languages335237UNINAING01