Review: R. E. Davis, Truth, Deduction, and Computation. Logic and Semantics for Computer Science [Book Review]

Journal of Symbolic Logic 57 (2):760-761 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275313

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

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

Gurari Eitan. An introduction to the theory of computation. Principles of computer science series. Computer Science Press, Rockville, Md., 1989, xii + 314 pp. [REVIEW]William I. Gasarch - 1991 - Journal of Symbolic Logic 56 (1):338-339.
Programmers, professors, and parasites: Credit and co-authorship in computer science.Justin Solomon - 2009 - Science and Engineering Ethics 15 (4):467-489.
Computer Science Logic 9th International Workshop, Csl '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29, 1995 : Selected Papers'.H. Kleine Büning & European Association for Computer Science Logic - 1996 - Springer Verlag.
Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings.Jörg Flum, M. Rodríguez Artalejo & Workshop on Computer Science Logic - 1999 - Springer Verlag.
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers.M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998 - Springer Verlag.
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science.Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987
Demarcating Computer Science.Dana Burkart - unknown
Computer Science & IT with/for Biology.Enrico Franconi - unknown
Logic From Computer Science Proceedings of a Workshop Held November 13-17, 1989.Yiannis N. Moschovakis - 1992
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
Deontic Logic in Computer Science: Normative System Specification.John-Jules Ch Meyer & R. J. Wieringa - 1993 - Wiley.
Computer Science Logic 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings.Julian Bradfield - 2002 - Springer Verlag.

Analytics

Added to PP
2013-11-22

Downloads
15 (#953,086)

6 months
1 (#1,478,518)

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