Deducibility and Decidability |
|
Author:
| Gill, R. R. Rockingham |
ISBN: | 978-0-203-01509-4 |
Publication Date: | Sep 2002 |
Publisher: | Taylor & Francis Group
|
Imprint: | Routledge |
Book Format: | Digital (delivered electronically) |
List Price: | USD $59.95 |
Book Description:
|
The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.
The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.