The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming

&
Addison-Wesley Professional (1993)
  Copy   BIBTEX

Abstract

This work provides a most readable introduction to the logical concepts and techniques underlying computer programming.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

0201548860   9780201548860
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp. - Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp. [REVIEW]Hans Klene Buning - 1995 - Journal of Symbolic Logic 60 (4):1326-1327.
The Logical Basis for Computer Programming: Deductive reasoning.Zohar Marra, Zohar Manna & Richard Waldinger - 1985 - Addison-Wesley Professional.
Review: Zohar Manna, Lectures on the Logic of Computer Programming. [REVIEW]Everett L. Bull - 1983 - Journal of Symbolic Logic 48 (1):213-214.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming.David S. Warren - 1993 - MIT Press.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.
The Logic of Programming.Eric C. R. Hehner - 1984 - Prentice-Hall.
Logic for Problem Solving.Donald W. Loveland - 1979 - Ediciones Díaz de Santos.
Computation as Logic.René Lalement - 1993 - Prentice-Hall.

Analytics

Added to PP
2015-02-02

Downloads
9 (#1,269,748)

6 months
4 (#1,005,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references