J. C. Shepherdson
2 published titles
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
(Contributor)
1 edition
- ISBN: 0720422825
- North-Holland Publishing Co.
- 1975
- Details
Mathematical logic and programming languages
(Contributor)
1 edition
- ISBN: 0135614651
- Prentice-Hall
- 1985
- Details