Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp [Book Review]

Bulletin of Symbolic Logic 12 (3):498-499 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1017/s1079898600002614

Links

PhilArchive



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

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

Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.
Literacy, authorship, and belief in medieval and renaissance Europe.Greg Walker - 1996 - The European Legacy 1 (8):2280-2283.
The civil war and its aftermath.Tim Harris - 1996 - The European Legacy 1 (8):2284-2289.
The knowledge of ignorance. From Genesis to Jules Verne: Andrew Martin (Cambridge: Cambridge University Press, 1985), Cambridge Studies in French, x+ 259 pp.,£ 25.00. [REVIEW]David Bellos - 1986 - History of European Ideas 7 (6):669-672.
Review: Alan Bundy, The Computer Modelling of Mathematical Reasoning. [REVIEW]Vladimir Lifschitz - 1987 - Journal of Symbolic Logic 52 (2):555-557.
Algra, Keimpe, Jonathan Barnes, Jaap Mansfeld, and Malcolm Schofield, eds. The Cambridge History of Hellenic Philosophy. 1999. Cambridge: Cambridge University Press, 2005. xx+ 916 pp. Paper $48. Allen, Joel. Hostages and Hostage-Taking in the Roman Empire. New York: Cambridge University Press, 2006. xiv+ 291 pp. Cloth, $80. [REVIEW]Rebecca Armstrong, Shadi Bartsch & Roger Beck - 2006 - American Journal of Philology 127:619-624.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.
Demography in Archaeology. Cambridge Manuals in Archaeology Series. By Andrew Chamberlain. Pp. 235+xii. (Cambridge University Press, Cambridge, 2006.) £17.99, ISBN 0-521-59651-3, paperback. [REVIEW]Maciej Henneberg - 2009 - Journal of Biosocial Science 41 (3):430-430.
Richard Tieszen, Phenomenology, Logic and the Philosophy of Mathematics, Cambridge, Cambridge University Press, 2005, 357 pagesRichard Tieszen, Phenomenology, Logic and the Philosophy of Mathematics, Cambridge, Cambridge University Press, 2005, 357 pages. [REVIEW]Yvon Gauthier - 2008 - Philosophiques 35 (2):614-615.

Analytics

Added to PP
2014-03-18

Downloads
17 (#846,424)

6 months
3 (#992,474)

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