Computerzing Mathematics: Logic and Computation

&
Journal of Symbolic Logic 56 (3):1090 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275077

Links

PhilArchive



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

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

Assumptions of Operational Logic.James K. Feibleman - 1971 - Studi Internazionali Di Filosofia 3 (2‐3):33-45.
Theory of quantum computation and philosophy of mathematics. Part I.Krzysztof Wójtowicz - 2009 - Logic and Logical Philosophy 18 (3-4):313-332.
Computability in Context: Computation and Logic in the Real World.S. B. Cooper & Andrea Sorbi (eds.) - 2011 - World Scientific.
The mathematics of computing between logic and physics.Giuseppe Longo & Thierry Paul - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific.
Reverse mathematics and well-ordering principles.Michael Rathjen & Andreas Weiermann - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific.
Logic, meaning, and computation: essays in memory of Alonzo Church.C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Boston: Kluwer Academic Publishers.
Logic of Computation.Helmut Schwichtenberg - 1997 - Boom Koninklijke Uitgevers.
Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures.James Robert Brown - 1999 - New York: Routledge.
Consequences of an Exotic Definition for P = NP. Applied Mathematics and Computation.N. C. A. da Costa & F. A. Doria - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
A-calculus as a foundation for mathematics.Klaus Grue - 2001 - In C. Anthony Anderson & Michael Zelëny (eds.), Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers. pp. 305--287.
Logic, Algebra, and Computation: International Summer School.Friedrich L. Bauer - 2012 - Springer.
N. C. A. Da Costa and F. A. Doria. Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665. [REVIEW]Ralf Schindler - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
On Binary Computation Structures.Bernhard Heinemann - 1997 - Mathematical Logic Quarterly 43 (2):203-215.
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.

Analytics

Added to PP
2010-09-12

Downloads
44 (#368,900)

6 months
5 (#693,173)

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