Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding

, &
Bulletin of Symbolic Logic 8 (1):101 (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: 91,435

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 Priscdio - 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 Di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
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.
Computability. Computable functions, logic, and the foundations of mathematics. [REVIEW]R. Zach - 2002 - History and Philosophy of Logic 23 (1):67-69.
Lp -Computability.Ning Zhong & Bing-Yu Zhang - 1999 - Mathematical Logic Quarterly 45 (4):449-456.
Computability. Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Computability of measurable sets via effective topologies.Yongcheng Wu & Decheng Ding - 2006 - Archive for Mathematical Logic 45 (3):365-379.
Conditional computability of real functions with respect to a class of operators.Ivan Georgiev & Dimiter Skordev - 2013 - Annals of Pure and Applied Logic 164 (5):550-565.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Approaches to Effective Semi‐Continuity of Real Functions.Xizhong Zheng, Vasco Brattka & Klaus Weihrauch - 1999 - Mathematical Logic Quarterly 45 (4):481-496.
Derivatives of Computable Functions.Ning Zhong - 1998 - Mathematical Logic Quarterly 44 (3):304-316.
Uniformly computable aspects of inner functions: estimation and factorization.Timothy H. McNicholl - 2008 - Mathematical Logic Quarterly 54 (5):508-518.

Analytics

Added to PP
2022-11-14

Downloads
9 (#1,239,121)

6 months
9 (#296,611)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references