1 option
Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson.
LIBRA QA9 .M37 1985
Available from offsite location
- Format:
- Book
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Programming languages (Electronic computers).
- Physical Description:
- 184 pages : illustrations ; 24 cm
- Place of Publication:
- Englewood Cliffs, N.J. : Prenntice-Hall International, [1985]
- Notes:
- "The papers in this book were first published in the Philosophical transactions of the Royal Society, series A, volume 312, 1984."
- Includes bibliographical references.
- ISBN:
- 0135614651
- OCLC:
- 12910486
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.