Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline

Carnielli, Walter A.,Epstein, Richard L.

ISBN 10: 0534546447 / ISBN 13: 9780534546441

Published by Wadsworth Publishing, 1999

About this Item

Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!

Seller Inventory # S_392534657

Bibliographic Details

• Title: Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
• Publisher: Wadsworth Publishing
• Publication Date: 1999
• Language: English
• ISBN 10: 0534546447
• ISBN 13: 9780534546441
• Binding: Paperback
• Edition: 2nd Edition
• Condition: Acceptable

About this title

Synopsis

Epstein and Carnielli, both logicians who have been collaborating on computability theory for two decades, introduce the philosophical aspects of recursion theory and logic. Opening with a discussion of the philosophical foundations of mathematics, and a presentation of the ideas of whole number, f