Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Recursive Functions and Metamathematics

Name: Recursive Functions and Metamathematics
Brand: Springer
SKU: 05322519
Price: 3767 CZK
Availability: InStock
Author: Roman Murawski
ISBN: 9789048152988

Problems of Completeness and Decidability, Goedel's Theorems

Roman Murawski

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05322519

Nakladatelství Springer, prosinec 2010

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of... Celý popis

Libristo kód: 05322519

377 b

3 767 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Ambivalente Zwerge - Zur Funktion des Wunderbaren in Chretiens und Hartmanns 'Erec'-Roman Susanne Staples

Brožovaná

369 Kč

Internationale Trends in Der Markenkommunikation

Brožovaná

757 Kč

Los otros y yo: cómo desarrollar la inteligencia social Filliozat

Brožovaná

459 Kč

Écrits sur la dialectique et l'humanisme Agricola Kniha

Pevná

1 507 Kč

Wilczy Lord Melisa Bel

Brožovaná

276 Kč

MARCO POLO Reiseführer Salzburg, Salzkammergut, Salzburger Land Matthias Gruber

Brožovaná

320 Kč

Nicola Gallucci Da Guardiagrele

Pevná

685 Kč

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.