Cantitate/Preț
Produs
Total produse
Vezi coșul
Deducibility and Decidability de R. R. Rockingham Gill

Deducibility and Decidability

Autor R. R. Rockingham Gill
en Limba Engleză Hardback – 26 apr 1990
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
Citește tot Restrânge

Preț: 124615 lei

Preț vechi: 151970 lei
-18%

Puncte Express: 1869

Carte tipărită la comandă

Livrare economică 08-22 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780415000338
ISBN-10: 0415000335
Pagini: 172
Dimensiuni: 138 x 216 x 17 mm
Greutate: 0.36 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom

Cuprins

Chapter I: The Natural Numbers and their Conventional Ordering II: Addition, Multiplication and Exponentiation III: The Theory of ∑-Forms IV: Effectiveness V: Recursively Defined Predicates VI: The ‘Arithmetization of Syntax’ VII: Diagonalization VIII: Gödel’s Theorems, and their Relatives IX: The Limits of Representability X: The Arithmetical Hierarchy, Envoi

Descriere

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.