Logical frameworks, edited by Gérard Huet and G. Plotkin, Cambridge University Press, Cambridge etc. 1991, xii + 403 pp [Book Review]

Journal of Symbolic Logic 58 (4):1469-1472 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275160

Other Versions

original Pavlovic, Dusko (1993) "Review: Gerard Huet, G. Plotkin, Logical Frameworks". Journal of Symbolic Logic 58(4):1469-1472

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,335

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

Keith Devlin. Logic and information. Cambridge University Press, Cambridge etc. 1991, xii + 308 pp. [REVIEW]I. L. Humberstone - 1993 - Journal of Symbolic Logic 58 (3):1082-1084.
Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
Brian F. Chellas. Modal logic. An introduction. Cambridge University Press, Cambridge etc. 1980, xii + 295 pp. [REVIEW]David Makinson - 1981 - Journal of Symbolic Logic 46 (3):670-672.
Logical foundations of functional programming, edited by Huet Gérard, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp. [REVIEW]Karl Meinke - 1994 - Journal of Symbolic Logic 59 (4):1439-1441.
Fremlin D. H.. Consequences of Martin's axiom. Cambridge tracts in mathematics, no. 84. Cambridge University Press, Cambridge etc. 1984, xii + 325 pp. [REVIEW]William Weiss - 1988 - Journal of Symbolic Logic 53 (2):650-651.
Marianne Winslett. Updating logical databases, Cambridge tracts in theoretical computer science, no. 9. Cambridge University Press, Cambridge etc. 1990, ix + 211 pp. [REVIEW]Urs-Martin Künzi - 1994 - Journal of Symbolic Logic 59 (3):1110-1111.
Michael Dummett. The logical basis of metaphysics. Harvard University Press, Cambridge, Mass., 1991, xi + 355 pp. [REVIEW]Sanford Shieh - 1993 - Journal of Symbolic Logic 58 (3):1086-1090.
Davide Sangiorgi and David Walker. The π-calculus: a theory of mobile processes. Cambridge University Press, Cambridge, New York, etc., 2001, xii + 580 pp. [REVIEW]Hans Hüttel - 2002 - Bulletin of Symbolic Logic 8 (4):530-531.

Analytics

Added to PP
2014-04-04

Downloads
27 (#672,902)

6 months
16 (#255,707)

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