Edinburgh LCF: a mechanised logic of computation

New York: Springer Verlag. Edited by R. Milner & Christopher P. Wadsworth (1979)
  Copy   BIBTEX

Abstract

Arising from a graduate course taught to math and engineering students, this text provides a systematic grounding in the theory of Hamiltonian systems, as well as introducing the theory of integrals and reduction. A number of other topics are covered too.

Categories

Keywords

Reprint years

2008

Call number

QA9.59.G67

ISBN(s)

0387097244
View all bargains

Buy this book

Links

PhilArchive



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

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

Articles on Democracy P. J. Rhodes (ed.): Athenian Democracy . (Edinburgh Readings on the Ancient World.) Pp. xviii + 358, maps, ill. Edinburgh: Edinburgh University Press, 2004. Paper, £19.99 (Cased, £60). ISBN: 0-7486-1687-X (0-7486-1686-1 hbk). [REVIEW]Peter Liddel - 2005 - The Classical Review 55 (01):215-.
Peter Jones and Andrew S. Skinner, eds., Adam Smith Reviewed, Edinburgh, Edinburgh University Press, 1992. pp. xii + 251. John J. Jenkins, Understanding Hume, ed. Peter Lewis and Geoffrey Madell, Edinburgh, Edinburgh University Press, 1992, pp. 215. [REVIEW]Christopher J. Berry - 1994 - Utilitas 6 (1):155.
Phthonos D. Konstan, N. K. Rutter (edd.): Envy, Spite and Jealousy. The Rivalrous Emotions in Ancient Greece . (Edinburgh Leventis Studies 2.) Pp. xiv + 305. Edinburgh: Edinburgh University Press, 2003. Cased, £45. ISBN: 0-7846-1603-. [REVIEW]Elaine Fantham - 2005 - The Classical Review 55 (01):180-.
The Republic (D.) Cairns, (F.-G.) Herrmann, (T.) Penner (edd.) Pursuing the Good. Ethics and Metaphysics in Plato's Republic. (Edinburgh Leventis Studies 4.) Pp. xii + 340. Edinburgh: Edinburgh University Press, 2007. Cased, £75. ISBN: 978-0-7486-2811-. [REVIEW]Nicholas Denyer - 2009 - The Classical Review 59 (2):381-.
Essays on Sparta M. Whitby (ed.): Sparta . (Edinburgh Readings on the Ancient World.) Pp. xx + 275, maps. Edinburgh: Edinburgh University Press, 2002. Paper, £15.99 (Cased, £47.50). ISBN: 0-7486-1293-9 (0-7486-1294-7 hbk). [REVIEW]Thomas Figueira - 2005 - The Classical Review 55 (01):218-.
Alexander Broadie (ed.), Thomas Reid on logic, rhetoric and the fine arts edinburgh university press, edinburgh (2005), 350 pp. isbn 0-7486-1684-5 (hardback). [REVIEW]Marion Ledwig - 2006 - Theoria 72 (3):248-252.
Deger-Jalkotzy (S.), Lemos (I.S.) (edd.) Ancient Greece: from the Mycenaean Palaces to the Age of Homer. (Edinburgh Leventis Studies 3.) Pp. xxiv + 695, figs, ills, maps. Edinburgh: Edinburgh University Press, 2006. Cased, £90. ISBN: 978-0-7486-1889-. [REVIEW]Jean-Marc Luce - 2008 - The Classical Review 58 (1):248-251.
The Greek Gods (J.N.) Bremmer, (A.) Erskine (edd.) The Gods of Ancient Greece. Identities and Transformations. (Edinburgh Leventis Studies 5.) Pp. xxii + 528, ills, maps. Edinburgh: Edinburgh University Press, 2010. Cased, £95. ISBN: 978-0-7486-3798-0. [REVIEW]Esther Eidinow - 2011 - The Classical Review 61 (2):498-501.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
32 (#483,225)

6 months
3 (#1,002,198)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the λY calculus.Rick Statman - 2004 - Annals of Pure and Applied Logic 130 (1-3):325-337.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references