Artifact Details

Title

Mathematical logic and programming languages

Catalog Number

102676758

Type

Text

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.

Description

"The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984. "

Category

Book

Subject

Logic

Series Title

Prentice-Hall International series in computer science

Lot Number

X3682.2007