Logic, Computation and Philosophy

Journal of Symbolic Logic 39 (2):358-359 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272711

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,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

Logic of Computation.Helmut Schwichtenberg, North Atlantic Treaty Organization & Nato Advanced Study Institute on Logic of Computation - 1997 - Boom Koninklijke Uitgevers.
Review: Hao Wang, Logic, Computation and Philosophy. [REVIEW]Georg Kreisel - 1974 - Journal of Symbolic Logic 39 (2):358-359.
Computation, Logic, Philosophy: A Collection of Essays.Wang Hao & Hao Wang - 1990 - Springer.
Logic, Algebra, and Computation: International Summer School.Friedrich L. Bauer - 2012 - Springer.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation.Peter Bosch, David Gabelaia & Jérôme Lang (eds.) - 2009 - Springer.
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
Measurement-Based Quantum Computation and Undecidable Logic.Maarten Van den Nest & Hans J. Briegel - 2008 - Foundations of Physics 38 (5):448-457.
On Binary Computation Structures.Bernhard Heinemann - 1997 - Mathematical Logic Quarterly 43 (2):203-215.
Extended full computation-tree logics for paraconsistent model checking.Norihiro Kamide - 2007 - Logic and Logical Philosophy 15 (3):251-276.
Discrete transfinite computation models.Philip D. Welch - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific. pp. 375--414.
Explaining computation without semantics: Keeping it simple.Nir Fresco - 2010 - Minds and Machines 20 (2):165-181.
Theory of quantum computation and philosophy of mathematics. Part I.Krzysztof Wójtowicz - 2009 - Logic and Logical Philosophy 18 (3-4):313-332.
Effective logic computation, Klaus truemper.Lex Hendriks - 1999 - Journal of Logic, Language and Information 8 (4):481-484.
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.

Analytics

Added to PP
2015-02-05

Downloads
2 (#1,780,599)

6 months
1 (#1,533,009)

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