Computer Programming and Formal Systems.
John C. Shepherdson, P. Braffort, Daniel Hirschberg · The Philosophical Quarterly · 1965
Journal Article Book Reviews Get access Computer Programming and Formal Systems. Edited by P. Braffort and D. Hirschberg Studies in Logic and the Foundations of Mathematics. (Amsterdam : North-Holland Publishing Company. 1963. Pp. viii + 161. Price 40s). J. C. Shepherdson J. C. Shepherdson Search for other works by this author on: Oxford Academic Google Scholar The Philosophical Quarterly, Volume 15, Issue 61, October 1965, Pages 371–372, https://doi.org/10.2307/2218270 Published: 01 October 1965