Title Computability : computable functions, logic, and the foundations of mathematics.

Publication Info.	Belmont, CA : Wadsworth/Thomson Learning, [2000]
	©2000

Item Status

Location	Call No.	Status	OPAC Message	Public Note	Gift Note
Moore Stacks	QA9.59 .E67 2000	Available	---

Edition	2nd ed. / Richard L. Epstein, Walter A. Carnielli.
Description	299, 38 pages : illustrations ; 24 cm
Note	"With Computability and undecidability--a timeline, the story of the development of computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein."
	One folded leaf of illustrative matter laid in.
Bibliography	Includes bibliographical references and index.
Subject	Computable functions.
	Computable functions.
	Logic, Symbolic and mathematical.
	Logic, Symbolic and mathematical.
	Gödel's theorem.
	Gödel's theorem.
Added Author	Carnielli, Walter A. (Walter Alexandre)
	Epstein, Richard L., 1947- Computability and undecidability--a timeline.
ISBN	0534546447 acid-free paper