Mathematical logic and programming languages /

Additional authors: Hoare, C. A. R. -- (Charles Antony Richard), -- 1934 - | Shepherdson, J. C. Published by : Prentice-Hall, (Englewood Cliffs, N.J. :) Physical details: 184 p. : ill., diagrams. ISBN: 0-13-561465-1. Subject(s): Programming languages (Electronic computers) | Logic, Symbolic and mathematical. | Digital computer systems -- Programming language -- Design Year: 1985 Reviews from LibraryThing.com: