John Harrison. Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge, UK, 2009, xix + 681 pp [Book Review]

Bulletin of Symbolic Logic 16 (2):279-281 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Remembering.John Sutton - 2009 - In P. Robbins & M. Aydede (eds.), Cambridge Handbook of Situated Cognition. Cambridge University Press.
Handbook of practical logic and automated reasoning.John Harrison - 2010 - Bulletin of Symbolic Logic 16 (2):279-281.
Complexity in practice.Peter J. Bowler - 2011 - British Journal for the History of Science 44 (2):275-280.

Analytics

Added to PP
2013-10-29

Downloads
1 (#1,757,848)

6 months
1 (#1,014,737)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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