Computability. Computable Functions, Logic, and the Foundations of Mathematics

&
Bulletin of Symbolic Logic 8 (1):101-104 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687742

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW]Carlos Augusto Di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics ; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW]Carlos Augusto Priscdio - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding.Carlos Augusto Di Prisco, Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101.
Computability. Computable functions, logic, and the foundations of mathematics. [REVIEW]R. Zach - 2002 - History and Philosophy of Logic 23 (1):67-69.
Computability: Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein - 2004
Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. The Wadsworth & Brooks/Cole mathematics series. Wadsworth&Brooks/Cole Advanced Books & Software, Pacific Grove, Calif., 1989, xvii + 297 pp. - Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. Second edition of the preceding. Wadsworth, Belmont, Calif., etc., 2000, xii + 299 + 38 pp. [REVIEW]Carlos Augusto di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Filosofía, lógica y computación.Óscar Trelles - 1991 - Estudios de Filosofía (Universidad de Antioquia) 2:87.
Review: Richard L. Epstein, Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanislaw Krajewski, Roger D. Maddux, The Semantic Foundations of Logic. Volume 1: Propositional Logics. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.
Resenha de 'Propositional logic: the semantic foundations of logic' (R. L. Epstein) - 'Predicate logic: the semantic foundations of logic' (R. L. Epstein) - 'Computable functions, logic, and the foundations of mathematics' (R. L. Epstein and W. A. Carniel). [REVIEW]Simon Thompson - 2001 - Manuscrito 24 (1):245-256.
Richard L. Epstein. The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux. Nijhoff international philosophy series, vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xxii + 386 pp. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.

Analytics

Added to PP
2016-06-30

Downloads
22 (#699,905)

6 months
7 (#592,073)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

Citations of this work

The dynamical hypothesis in cognitive science.Tim van Gelder - 1998 - Behavioral and Brain Sciences 21 (5):615-28.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.
Mathematics as the art of abstraction.Richard L. Epstein - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 257--289.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references