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
Editorial: Wadsworth Publishing, 1999
Usado
Paperback
Librería:
HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 11 de marzo de 2019
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de ref. del artículo S_345367421
Sinopsis:
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
Reseña del editor: This highly readable and intuitive introduction to computability theory contains a great many background discussions which introduce the reader to the researched history and philosophical aspects of recursion theory and logic. This book is perfectly suited for class work and individual study, successfully achieving the goal of painlessly introducing technical matter in a readable and stimulating way.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Computability: Computable Functions, Logic, ...
Editorial: Wadsworth Publishing
Año de publicación: 1999
Encuadernación: Paperback
Condición: Good