Kniha Recursion Theory for Metamathematics Raymond M. Smullyan

Recursion Theory for Metamathematics

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
4 257
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read indepen...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1993
Stránek
178
EAN
9780195082326
ISBN
019508232X
Enbook ID
04513125
Hmotnost
422
Rozměry
242 x 163 x 17

Kompletní popis

This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Mohlo by vás zajímat

Boundless

Ben Greenfield
1 703

Verity

Colleen Hoover
515

Beyond Order

Jordan B. Peterson
241

Industrial Society and Its Future

Theodore John Kaczynski
394
185
379
351

Zákaznicí kteří koupili tuto knihu koupili také

152

Bungo Stray Dogs 10

Kafka Asagiri
162

100 Fragen

Moritz von Uslar
319
770

Los Animales Necesitan Refugio

Alma Patricia Ramirez
214

Per te vorrei....

Amy Krouse Rosenthal
379
520