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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

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: Gerard Huet, G. Plotkin, Logical Frameworks. [REVIEW]Dusko Pavlovic - 1993 - Journal of Symbolic Logic 58 (4):1469-1472.
Logical Environments.Gerard Huet & Gordon Plotkin - 1993 - Cambridge University Press.
Cambridge: Cambridge University Press, 1990. Daniel Vanderveken, Meaning and Speech Acts, vol. 2, Formal Semantics of Success and Satisfaction. Cambridge: Cambridge University Press, 1991. [REVIEW]Eckard Rolf - 1995 - Semiotica 104 (3/4):277-285.
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.
Book Reviews : Geoffrey Hawthorn, Plausible Worlds: Possibility and Understanding in History and the Social Sciences. Cambridge University Press, Cambridge, 1991. Pp. 206. $44.50 (cloth). G. R. Elton, Return to Essentials: Some Reflections on the Present State of Historical Study. Cambridge University Press, Cambridge, 1991. Pp. 136. $29.95 (cloth). [REVIEW]C. Behan McCullagh - 1995 - Philosophy of the Social Sciences 25 (4):523-535.
Back to the texts.Stuart Brown - 1998 - British Journal for the History of Philosophy 6 (2):269 – 273.
Literacy, authorship, and belief in medieval and renaissance Europe.Greg Walker - 1996 - The European Legacy 1 (8):2280-2283.
Immanuel Kant, Lectures on Logic, translated and edited by J Michael Young, Cambridge: Cambridge University Press, 1992, pp xxxii + 695, Hb £60Immanuel Kant, Theoretical Writings, 1755-1770, translated and edited by David Walford in collaboration with Ralf Meerbote, Cambridge: Cambridge University Press, 1992, pp lxxxi + 543, Hb £55. [REVIEW]Fiona Hughes - 1995 - Hegel Bulletin 16 (2):14-18.
Books briefly noted.Gerard Casey, Dermot Moran, Manuel de Pinedo, Gary Elkins & Rom Harr - 1995 - International Journal of Philosophical Studies 3 (1):217 – 224.
C. Fred Alford, The Self in Social Theory. A Psychoanalytic Account of its Construction. New Haven, CT: Yale University Press, 1991. Kenneth Gergen, The Saturated Self. Dilemmas of Identity in Contemporary Life. New York: Basic Books, 1991. Anthony Paul Kerby, Narrative and the Self. Bloomington and London: Indiana University Press, 1991. Charles Taylor, Sources of the Self. The Making of the Modern Identity. Cambridge: Cambridge University Press, paperback, 1992. [REVIEW]John-Raphael Staude - 1994 - History of the Human Sciences 7 (2):141-149.
G W F Hegel, Elements of the Philosophy of Right, edited by Allen W Wood; translated by H B Nisbet, Cambridge: Cambridge University Press, 1991, pp lii + 514, Pb £9.95. [REVIEW]David MacGregor - 1993 - Hegel Bulletin 14 (1-2):64-66.
Carver, Terrell, ed. The Cambridge Companion to Marx. Cambridge: Cambridge University Press, 1991. Pp. xiii+ 357. $17.95 (paper). [REVIEW]Marcia Cavell - 1994 - In Peter Singer (ed.), Ethics. Oxford University Press.
T. H. Green, Lectures on the Principles of Political Obligation and Other Writings, edited by Paul Harris and John Morrow, Cambridge University Press, Cambridge, 1986, pp. v, 383, hardback £27.50, paperback £9.95.I. D. MacKillop, The British Ethical Societies, Cambridge University Press, Cambridge, 1986, pp. v, 204, hardback £25.00. [REVIEW]Richard Bellamy - 1985 - Hegel Bulletin 6 (2):27-30.
The Cambridge Companion to Ancient Rhetoric. Edited by Erik Gunderson. Pp. x, 355, Cambridge University Press, 2010, £50.00/18.99; $94.99/34.99. Classical Greek Rhetorical Theory and the Disciplining of Discourse. By David M. Timmerman and Edward Schiappa. Pp. ix, 192, Cambridge University Press, 2010, $80.00/£45.00. [REVIEW]Robin Waterfield - 2016 - Heythrop Journal 57 (1):152-153.
Liberal Rights: Collected Papers 1981–1991Jeremy Waldron Collection «Cambridge Studies in Philosophy and Public Policy» Cambridge, Cambridge University Press, 1993, ix, 480 p. [REVIEW]François Blais - 1996 - Dialogue 35 (3):631-632.

Analytics

Added to PP
2014-04-04

Downloads
23 (#675,507)

6 months
10 (#260,500)

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