Donald W. Loveland, Richard E. Hodel, and S. G. Sterrett: Three Views of Logic: Mathematics, Philosophy and Computer Science: Princeton University Press, Princeton and Oxford, 2014, xv + 322, $49.50/£34.95, ISBN: 978-0-691-16044-3 [Book Review]

Minds and Machines 25 (3):291-296 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Three views of logic: Mathematics, Philosophy, Computer Science.Donald W. Loveland, Richard E. Hodel & Susan G. Sterrett - 2014 - Princeton, New Jersey: Princeton University Press. Edited by Richard E. Hodel & Susan G. Sterrett.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
What is a logical system?Dov M. Gabbay (ed.) - 1994 - New York: Oxford University Press.
Automated Theorem Proving. A Logical Basis.Donald W. Loveland - 1980 - Journal of Symbolic Logic 45 (3):629-630.

Analytics

Added to PP
2015-06-21

Downloads
79 (#196,003)

6 months
4 (#368,572)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Allo
Vrije Universiteit Brussel

Citations of this work

No citations found.

Add more citations

References found in this work

Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Relevant Logic: A Philosophical Interpretation.Edwin David Mares - 2004 - New York: Cambridge University Press.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Deviant logic: some philosophical issues.Susan Haack - 1974 - New York: Cambridge University Press.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.

View all 7 references / Add more references