Computing Logical Truth with the California Digital Computer

Journal of Symbolic Logic 17 (4):280-281 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266636

Links

PhilArchive



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

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

Computing as a Science: A Survey of Competing Viewpoints. [REVIEW]Matti Tedre - 2011 - Minds and Machines 21 (3):361-387.
A History of Modern Computing.Paul E. Ceruzzi - 2003 - MIT Press.
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
Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to build the Modern Computer.B. Jack Copeland (ed.) - 2005 - Oxford University Press.
Women and the social construction of the computing culture: Evolving new forms of computing. [REVIEW]Joan Truckenbrod - 1993 - AI and Society 7 (4):345-357.
Serious games e simulazione come risorse per l’educazione.Luca Mori - 2012 - Meta: Research in Hermeneutics, Phenomenology, and Practical Philosophy 4 (1):56-72.
Digital capitalism: Networking the global market system. Dan Schiller. [REVIEW]Gregory J. Walters - 2000 - Ethics and Information Technology 2 (1):73-75.
Visions of privacy: Policy choices for a digital age, edited by Colin J. Bennett and Rebecca grant. [REVIEW]Gregory J. Walters - 2000 - Ethics and Information Technology 2 (2):139-144.
The digital phoenix: How computers are changing philosophy. Terrell ward Bynum and James H. Moor, editor. [REVIEW]Gert-Jan C. Lokhorst - 1999 - Ethics and Information Technology 1 (1):67-71.
Digital Design and Computer Organization.Hassan A. Farhat - 2003 - CRC Press.
Exploring a Mechanistic Approach to Experimentation in Computing.Eric Hatleback & Jonathan M. Spring - 2014 - Philosophy and Technology 27 (3):441-459.
Simulation and augmentation: Issues of wearable computers. [REVIEW]Ana Viseu - 2003 - Ethics and Information Technology 5 (1):17-26.
Luciano Floridi, Philosophy and Computing: An Introduction, Routledge, 1999.Anthony F. Beavers - unknown
The T-schema is not a logical truth.R. T. Cook - 2012 - Analysis 72 (2):231-239.
Digital Computer Logic: A Self-instruction Course for Beginners in Digital Electronics.Cambridge Learning - 1983

Analytics

Added to PP
2015-02-05

Downloads
7 (#1,387,044)

6 months
1 (#1,471,470)

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