Journal of Symbolic Logic

Review: Zohar Manna, Richard Waldinger, The logical basis for computer programming. Volume I. Deductive reasoning; Zohar Manna, Richard Waldinger, The logical basis for computer programming. Volume II. Deductive Systems

Hans Klene Buning

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Article information

Source
J. Symbolic Logic, Volume 60, Issue 4 (1995), 1326-1327.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744887

JSTOR
links.jstor.org

Citation

Buning, Hans Klene. Review: Zohar Manna, Richard Waldinger, The logical basis for computer programming. Volume I. Deductive reasoning ; Zohar Manna, Richard Waldinger, The logical basis for computer programming. Volume II. Deductive Systems. J. Symbolic Logic 60 (1995), no. 4, 1326--1327. https://projecteuclid.org/euclid.jsl/1183744887


Export citation