Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Proofs and Computations

Lingua IngleseInglese
Libro Rigido
Libro Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Codice Libristo: 04449225
Casa editrice Cambridge University Press, dicembre 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Descrizione completa
? points 262 b
107.19 €
Magazzino esterno Inviamo tra 9-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Libro In brossura
common.buy 22.19 €
El telescopio de Schopenhauer Donovan / Libro In brossura
common.buy 19.89 €
In preparazione
Benni Bärenstark. Band 4 eyo / Libro Rigido
common.buy 11.59 €
DÓNDE UNO CAE LORENZO SILVA / Libro Rigido
common.buy 26.39 €
En un tour de main Jo Witek / Libro In brossura
common.buy 13.59 €
Le Paris des Merveilles - vol. 02/2 / Libro Rigido
common.buy 20.99 €
Die Sammlung Emmerig des Bezirks Oberpfalz Maya Brückl / Libro In brossura
common.buy 22.79 €

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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Proofs and Computations
Autore Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2011
Numero di pagine 480
EAN 9780521517690
ISBN 0521517699
Codice Libristo 04449225
Casa editrice Cambridge University Press
Peso 884
Dimensioni 233 x 158 x 29

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Routledge Companion to Animal-Human History Hilda Kean / Libro Rigido
common.buy 379.39 €
Smart and Agile Cybersecurity for IoT and IIoT Environments Qasem Abu Al-Haija / Libro Rigido
common.buy 374.89 €
Integrating Generative AI in Education to Achieve Sustainable Development Goals Ruchi Doshi / Libro Rigido
common.buy 348.39 €
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / Libro elettronico Adobe ePub DRM
common.buy 11.59 €
Mother's World Fjabi World / Libro In brossura
common.buy 10.69 €
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Libro In brossura
common.buy 25.89 €
Where The Flowers Grow: A Poetry Collection Sienna B Otero / Libro In brossura
common.buy 12.59 €
American Economic History: 2014 Edition Richard E Carmichael Ph D / Libro In brossura
common.buy 15.39 €
Reassessing Egalitarianism J. Moss / Libro In brossura
common.buy 55.49 €
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Libro Rigido
common.buy 40.99 €
Three New Deals Wolfgang Schivelbusch / Libro In brossura
common.buy 16.49 €
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Libro In brossura
common.buy 30.29 €
Mindful Aesthetics Chris Danta / Libro Rigido
common.buy 201.79 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?