Daniel J. Velleman. How to prove it. A structured approach. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, x + 309 pp [Book Review]

Journal of Symbolic Logic 60 (4):1329-1330 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275901

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,349

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

Popkorn Sally . First steps in modal logic. Cambridge University Press, Cambridge 1994, and New York and Oakleigh, Victoria, 1995, xiii + 314 pp. [REVIEW]Rajeev Goré - 1996 - Journal of Symbolic Logic 61 (3):1055-1056.
Azzouni Jody. Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, ix + 249 pp. [REVIEW]Mark Balaguer - 1995 - Journal of Symbolic Logic 60 (4):1312-1314.
Hindley J. Roger. Basic simple type theory. Cambridge tracts in theoretical computer science, no. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp. [REVIEW]Anton Setzer - 1999 - Journal of Symbolic Logic 64 (4):1832-1833.
Probability and conditionals, Belief revision and rational decision, edited by Eells Ellery and Skyrms Brian, Cambridge studies in probability, induction, and decision theory, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, viii+ 207 pp. [REVIEW]Robert C. Koons - 1997 - Journal of Symbolic Logic 62 (1):330-335.
J.-J. Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science, no. 41. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiii + 354 pp. [REVIEW]Rineke Verbrugoe - 1999 - Journal of Symbolic Logic 64 (4):1837-1840.
Nicholas Pippenger, Theories of computability. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, ix + 251 pp. [REVIEW]Hans Hüttel - 1999 - Journal of Symbolic Logic 64 (2):913-914.
Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
Manzano María. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp. [REVIEW]Yde Venema - 1998 - Journal of Symbolic Logic 63 (3):1194-1196.

Analytics

Added to PP
2016-06-30

Downloads
29 (#631,183)

6 months
9 (#707,158)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Barrett
University of California, Irvine

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references