Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Proofs and Computations

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Libristo kód: 04449225
Nakladatelství Cambridge University Press, prosinec 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Celý popis
? points 239 b
2 392 Kč
Skladem u dodavatele Odesíláme za 14-21 dnů

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

Zákazníci také koupili

Připravujeme
Benni Bärenstark. Band 4 eyo / Kniha Pevná
common.buy 252 Kč
Die Sammlung Emmerig des Bezirks Oberpfalz Maya Brückl / Kniha Brožovaná
common.buy 529 Kč
Le Paris des Merveilles - vol. 02/2 / Kniha Pevná
common.buy 490 Kč
En un tour de main Jo Witek / Kniha Brožovaná
common.buy 316 Kč
DÓNDE UNO CAE LORENZO SILVA / Kniha Pevná
common.buy 647 Kč
El telescopio de Schopenhauer Donovan / Kniha Brožovaná
common.buy 488 Kč
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Kniha Brožovaná
common.buy 544 Kč

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Proofs and Computations
Autor Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2011
Počet stran 480
EAN 9780521517690
ISBN 0521517699
Libristo kód 04449225
Nakladatelství Cambridge University Press
Váha 884
Rozměry 233 x 158 x 29

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Mentalities of Gorillas and Orangutans H. Lyn Miles / Kniha Pevná
common.buy 3 879 Kč
Smart and Agile Cybersecurity for IoT and IIoT Environments Qasem Abu Al-Haija / Kniha Pevná
common.buy 7 925 Kč
Integrating Generative AI in Education to Achieve Sustainable Development Goals Ruchi Doshi / Kniha Pevná
common.buy 7 363 Kč
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / E-kniha Adobe ePub DRM
common.buy 276 Kč
Mother's World Fjabi World / Kniha Brožovaná
common.buy 237 Kč
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Kniha Brožovaná
common.buy 576 Kč
Where The Flowers Grow: A Poetry Collection Sienna B Otero / Kniha Brožovaná
common.buy 279 Kč
Routledge Companion to Animal-Human History Hilda Kean / Kniha Pevná
common.buy 9 200 Kč
American Economic History: 2014 Edition Richard E Carmichael Ph D / Kniha Brožovaná
common.buy 339 Kč
Blood Underground: Book One: Thavs Terence Jackson / Kniha Brožovaná
common.buy 217 Kč
Reassessing Egalitarianism J. Moss / Kniha Brožovaná
common.buy 1 223 Kč
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Kniha Pevná
common.buy 897 Kč
Mindful Aesthetics Chris Danta / Kniha Pevná
common.buy 4 193 Kč
The: Grand Haven Area: 1860-1960 Wallace Ewing / Kniha Brožovaná
common.buy 473 Kč
Three New Deals Wolfgang Schivelbusch / Kniha Brožovaná
common.buy 358 Kč
White Hot-True Blue Richard J Alapack / Kniha Brožovaná
common.buy 444 Kč
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Kniha Brožovaná
common.buy 654 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?