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 [Book Review]

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.2178/bsl/1182353860

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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.
Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor. Algebras, lattices, varieties. Volume I. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, xii + 361 pp. [REVIEW]Joel Berman - 1992 - Journal of Symbolic Logic 57 (1):266-268.
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.
Filosofía, lógica y computación.Óscar Trelles - 1991 - Estudios de Filosofía (Universidad de Antioquia) 2:87.
Filosofía, lógica y computación.Óscar Trelles - 1991 - Estudios de Filosofía (Universidad de Antioquia) 2:87-87.
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.
Computability. Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Karl J. Smith. Introduction to symbolic logic. Contemporary undergraduate mathematics series. Brooks/Cole Publishing Company, Monterey, Calif., 1974, viii + 119 pp. [REVIEW]Ian F. Carlstrom - 1980 - Journal of Symbolic Logic 45 (2):384-385.

Analytics

Added to PP
2013-11-02

Downloads
58 (#369,480)

6 months
17 (#173,529)

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