Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Proofs and Computations

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Libristo kód: 04449225
Nakladateľstvo Cambridge University Press, december 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Celý popis
? points 239 b
98.54 €
Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Pripravujeme
Benni Bärenstark. Band 4 eyo / Kniha Pevná
common.buy 10.98 €
Die Sammlung Emmerig des Bezirks Oberpfalz Maya Brückl / Kniha Brožovaná
common.buy 21.78 €
Le Paris des Merveilles - vol. 02/2 / Kniha Pevná
common.buy 20.16 €
En un tour de main Jo Witek / Kniha Brožovaná
common.buy 13.00 €
DÓNDE UNO CAE LORENZO SILVA / Kniha Pevná
common.buy 26.62 €
El telescopio de Schopenhauer Donovan / Kniha Brožovaná
common.buy 20.06 €
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Kniha Brožovaná
common.buy 22.38 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Proofs and Computations
Autor Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2011
Počet strán 480
EAN 9780521517690
ISBN 0521517699
Libristo kód 04449225
Nakladateľstvo Cambridge University Press
Váha 884
Rozmery 233 x 158 x 29

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Mentalities of Gorillas and Orangutans H. Lyn Miles / Kniha Pevná
common.buy 159.86 €
Smart and Agile Cybersecurity for IoT and IIoT Environments Qasem Abu Al-Haija / Kniha Pevná
common.buy 343.74 €
Integrating Generative AI in Education to Achieve Sustainable Development Goals Ruchi Doshi / Kniha Pevná
common.buy 319.43 €
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / E-kniha Adobe ePub DRM
common.buy 11.39 €
Mother's World Fjabi World / Kniha Brožovaná
common.buy 9.77 €
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Kniha Brožovaná
common.buy 23.69 €
Where The Flowers Grow: A Poetry Collection Sienna B Otero / Kniha Brožovaná
common.buy 11.49 €
Routledge Companion to Animal-Human History Hilda Kean / Kniha Pevná
common.buy 397.20 €
American Economic History: 2014 Edition Richard E Carmichael Ph D / Kniha Brožovaná
common.buy 14.01 €
Blood Underground: Book One: Thavs Terence Jackson / Kniha Brožovaná
common.buy 8.97 €
Reassessing Egalitarianism J. Moss / Kniha Brožovaná
common.buy 53.15 €
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Kniha Pevná
common.buy 39.13 €
Mindful Aesthetics Chris Danta / Kniha Pevná
common.buy 181.85 €
The: Grand Haven Area: 1860-1960 Wallace Ewing / Kniha Brožovaná
common.buy 19.46 €
Three New Deals Wolfgang Schivelbusch / Kniha Brožovaná
common.buy 14.72 €
White Hot-True Blue Richard J Alapack / Kniha Brožovaná
common.buy 18.25 €
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Kniha Brožovaná
common.buy 26.92 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?