Computability: Computable Functions, Logic and the Foundations of Mathematics - Softcover

Epstein, R.L.; Carnielli, Walter A.

9780534546441: Computability: Computable Functions, Logic and the Foundations of Mathematics

Softcover

ISBN 10: 0534546447 ISBN 13: 9780534546441

Verlag: Wadsworth Publishing Co Inc, 1999

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 28,85

0 Neu

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.