Manna Zohar. Lectures on the logic of computer programming. CBMS-NSF regional conference series in applied mathematics, no. 31. Society for Industrial and Applied Mathematics, Philadelphia 1980, iv + 49 pp [Book Review]

Journal of Symbolic Logic 48 (1):213-214 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273339

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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

Review: Zohar Manna, Lectures on the Logic of Computer Programming. [REVIEW]Everett L. Bull - 1983 - Journal of Symbolic Logic 48 (1):213-214.
The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.
Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.
The Logical Basis for Computer Programming: Deductive reasoning.Zohar Marra, Zohar Manna & Richard Waldinger - 1985 - Addison-Wesley Professional.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
The Temporal Logic of Reactive and Concurrent Systems: Specifications.Zohar Manna & Amir Pnueli - 1992 - Springer Verlag.
Logic and Combinatorics: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference Held August 4-10, 1985.Stephen G. Simpson - 1987 - American Mathematical Soc..
Logical foundations of applied mathematics.V. V. Nalimov - 1974 - Synthese 27 (1-2):211 - 250.
What is applied mathematics?James Robert Brown - 1997 - Foundations of Science 2 (1):21-37.
Rabin Michael O.. Automata on infinite objects and Church's problem. Conference Board of the Mathematical Sciences, Regional conference series in mathematics, no. 13. American Mathematical Society, Providence 1972, 22 pp. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
How to apply mathematics.Ulrich Meyer - 2004 - Erkenntnis 61 (1):17-28.
Apriority and applied mathematics.Robert A. Holland - 1992 - Synthese 92 (3):349 - 370.
Mathematics, The Computer Revolution and the Real World.James Franklin - 1988 - Philosophica 42:79-92.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
The history of applied mathematics and the history of society.Michael Stolz - 2002 - Synthese 133 (1-2):43 - 57.

Analytics

Added to PP
2016-06-30

Downloads
18 (#839,032)

6 months
6 (#531,961)

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