Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Proofs and Computations

Limba englezăengleză
Carte Copertă tare
Carte Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Codul Libristo: 04449225
Editura Cambridge University Press, decembrie 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Descrierea completă
? points 262 b
566.81 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Curând
Benni Bärenstark. Band 4 eyo / Carte Copertă tare
common.buy 61.61 lei
Die Sammlung Emmerig des Bezirks Oberpfalz Maya Brückl / Carte Carte broșată
common.buy 114.52 lei
Le Paris des Merveilles - vol. 02/2 / Carte Copertă tare
common.buy 106.32 lei
En un tour de main Jo Witek / Carte Carte broșată
common.buy 68.46 lei
DÓNDE UNO CAE LORENZO SILVA / Carte Copertă tare
common.buy 139.93 lei
El telescopio de Schopenhauer Donovan / Carte Carte broșată
common.buy 105.60 lei
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Carte Carte broșată
common.buy 117.73 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Proofs and Computations
Autor Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Limba engleză
Legare Carte - Copertă tare
Data publicării 2011
Număr pagini 480
EAN 9780521517690
ISBN 0521517699
Codul Libristo 04449225
Editura Cambridge University Press
Greutatea 884
Dimensiuni 233 x 158 x 29

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Mentalities of Gorillas and Orangutans H. Lyn Miles / Carte Copertă tare
common.buy 919.41 lei
Smart and Agile Cybersecurity for IoT and IIoT Environments Qasem Abu Al-Haija / Carte Copertă tare
common.buy 1 802.11 lei
Integrating Generative AI in Education to Achieve Sustainable Development Goals Ruchi Doshi / Carte Copertă tare
common.buy 1 674.41 lei
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / E-book Adobe ePub DRM
common.buy 58.71 lei
Mother's World Fjabi World / Carte Carte broșată
common.buy 56.84 lei
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Carte Carte broșată
common.buy 137.13 lei
Where The Flowers Grow: A Poetry Collection Sienna B Otero / Carte Carte broșată
common.buy 66.69 lei
Routledge Companion to Animal-Human History Hilda Kean / Carte Copertă tare
common.buy 2 176.71 lei
American Economic History: 2014 Edition Richard E Carmichael Ph D / Carte Carte broșată
common.buy 81.22 lei
Blood Underground: Book One: Thavs Terence Jackson / Carte Carte broșată
common.buy 51.86 lei
Reassessing Egalitarianism J. Moss / Carte Carte broșată
common.buy 293.36 lei
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Carte Copertă tare
common.buy 216.70 lei
Mindful Aesthetics Chris Danta / Carte Copertă tare
common.buy 953.54 lei
The: Grand Haven Area: 1860-1960 Wallace Ewing / Carte Carte broșată
common.buy 109.12 lei
Three New Deals Wolfgang Schivelbusch / Carte Carte broșată
common.buy 87.44 lei
White Hot-True Blue Richard J Alapack / Carte Carte broșată
common.buy 106.01 lei
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Carte Carte broșată
common.buy 160.06 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?