Michael J. O'Donnell. Equational logic as a programming language. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1985, xv + 296 pp

Walter Taylor

doi:10.1017/S002248120002987X

Michael J. O'Donnell. Equational logic as a programming language. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1985, xv + 296 pp [Book Review]

Journal of Symbolic Logic 52 (3):873-874 (1987)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic (categorize this paper)
DOI	10.1017/S002248120002987X
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 71,489

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

John C. Mitchell. Foundations for Programming Languages. Foundations of Computing. The MIT Press, Cambridge, Mass., and London, 1996, Xix + 846 Pp. [REVIEW]Arnon Avron - 1999 - Journal of Symbolic Logic 64 (2):918-922.

Equational Logic as a Programming Language.Walter Taylor & Michael J. O'Donnell - 1987 - Journal of Symbolic Logic 52 (3):873.

Jones Neil D., Computability and Complexity, From a Programming Perspective, Foundations of Computing, The MIT Press, Cambridge, Mass., and London, 1997, Xvi + 466 Pp. [REVIEW]James S. Royer - 1999 - Journal of Symbolic Logic 64 (2):914-916.

Equational Logic as a Programming Language.Michael J. O'Donnell - 1985 - Mit Press.

Susumu Hayashi and Hiroshi Nakano. PX. A Computational Logic. Foundations of Computing. The MIT Press, Cambridge, Mass., and London, 1989, Xiv + 200 Pp. [REVIEW]Robert Harper - 1991 - Journal of Symbolic Logic 56 (2):763-766.

Logic Programming Languages, Constraints, Functions, and Objects, Edited by K. R. Apt, J. W. De Bakker, and J. J. M. M. Rutten, Logic Programming, The MIT Press, Cambridge, Mass., and London, 1993, Xiv + 204 Pp. [REVIEW]Peter H. Schmitt - 1995 - Journal of Symbolic Logic 60 (4):1327-1328.

S. Yu. Maslov. Theory of Deductive Systems and its Applications. English Translation by Michael Gelfond and Vladimir Lifschitz of Téoriá Déduktivnyh Sistém I Éé Priménéniá. Foundations of Computing. The MIT Press, Cambridge, Mass., and London, 1987, X + 151 Pp. [REVIEW]Daniel J. Dougherty - 1988 - Journal of Symbolic Logic 53 (4):1260-1261.

Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. Logic Programming, Proceedings of the Fifth International Conference and Symposium, Volume 2, Edited by Robert A. Kowalski and Kenneth A. Bowen, Series in Logic Programming, The MIT Press, Cambridge, Mass., and London, 1988, Pp. 1070–1080. - Kit Fine. The Justification of Negation as Failure. Logic, Methodology and Philosophy of Science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, Edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in Logic and the Foundations of Mathematics, Vol. 126, North-Holland, Amsterdam Etc. 1989, Pp. 263–301. [REVIEW]Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.

Matthew Hennessy. Algebraic Theory of Processes. Foundations of Computing Series. The MIT Press, Cambridge, Mass., and London, 1988, Ix + 272 Pp. [REVIEW]Carl A. Gunter - 1990 - Journal of Symbolic Logic 55 (1):366-368.

Yuri V. Matiyasevich. Hilbert's Tenth Problem. English Translation of Desyataya Problema Gil'berta, with a Foreword by Martin Davis. Foundations of Computing. The MIT Press, Cambridge, Mass., and London, 1993, Xxii + 264 Pp. [REVIEW]C. Dimitracopoulos - 1997 - Journal of Symbolic Logic 62 (2):675-677.

John Haugeland. Artificial Intelligence: The Very Idea. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1985, Ix + 289 Pp. [REVIEW]Ira Pohl - 1988 - Journal of Symbolic Logic 53 (2):659-660.

Quine W. V.. The Time of My Life. An Autobiography. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1985, Xii + 499 Pp. [REVIEW]Donald Davidson - 1988 - Journal of Symbolic Logic 53 (1):301-303.

Foundations of Equational Logic Programming.Steffen Hölldobler - 1989 - Springer Verlag.

Cresswell M. J. Structured Meanings: The Semantics of Propositional Attitudes. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1985, X + 202 Pp. [REVIEW]David Israel - 1987 - Journal of Symbolic Logic 52 (3):878-882.

John R. Searle and Daniel Vanderveken. Foundations of Illocutionary Logic. Cambridge University Press, Cambridge Etc. 1985, Xi + 227 Pp. [REVIEW]Jerrold M. Sadock - 1989 - Journal of Symbolic Logic 54 (1):300-302.

Analytics

Added to PP index
2016-06-30

Total views
20 ( #560,772 of 2,520,788 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,788 )

How can I increase my downloads?

Downloads