Recursion Theory for Metamathematics

a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu

Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.

Recursion Theory for Metamathematics koupíte na Bookshop.cz
Bookshop.cz
5 781 Kč
Není skladem

Krátký popis
In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).
Výběr knih vydavatele Oxford University Press Inc

Zobrazit všechny knihy vydavatele Oxford University Press Inc
Naše tipy


Little Stranger: Utíkej, holčičko
V ŽIVOTĚ TOUŽIL JEN PO TOM, ABY JI MOHL VLASTNIT.Zradila ho. On se teď chce pomstít nevlastní sestře, kterou byl tajně posedlý od chvíle, kdy ji spatřil. Jeho sestra je ale zároveň důvodem, proč na několik let skončil ve vězení. Teď je znovu na svobodě a připraven ji pronásledovat.Malachiášovi Vizeovi patří z Olivie úplně všechno.Její mysl.Její tělo.Její duše.Její strach.Její bolest.O halloweenské noci už nedokáže dál číhat ve stínech. Jediné, co si ještě musí podmanit, je její srdce. A je odhodlaný si ho získat.