Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Proofs and Computations

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Koda Libristo: 04449225
Založba Cambridge University Press, december 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Celoten opis
? points 239 b
98.64 €
Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Kmalu
Benni Bärenstark. Band 4 eyo / Knjiga Trda
common.buy 10.39 €
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Knjiga Mehka
common.buy 20.28 €
El telescopio de Schopenhauer Donovan / Knjiga Mehka
common.buy 18.27 €
DÓNDE UNO CAE LORENZO SILVA / Knjiga Trda
common.buy 24.12 €
En un tour de main Jo Witek / Knjiga Mehka
common.buy 11.90 €
Le Paris des Merveilles - vol. 02/2 / Knjiga Trda
common.buy 18.47 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Proofs and Computations
Avtor Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2011
Število strani 480
EAN 9780521517690
ISBN 0521517699
Koda Libristo 04449225
Založba Cambridge University Press
Teža 884
Mere 233 x 158 x 29

Kategorije

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Mindful Aesthetics Chris Danta / Knjiga Trda
common.buy 185.27 €
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Knjiga Mehka
common.buy 26.95 €
Three New Deals Wolfgang Schivelbusch / Knjiga Mehka
common.buy 14.73 €
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Knjiga Trda
common.buy 36.94 €
Reassessing Egalitarianism J. Moss / Knjiga Mehka
common.buy 50.47 €
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Knjiga Mehka
common.buy 23.72 €
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / E-knjiga Adobe ePub DRM
common.buy 9.88 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?