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.

Gentzen's Centenary

The Quest for Consistency

Lingua IngleseInglese
Libro In brossura
Libro Gentzen's Centenary Reinhard Kahle
Codice Libristo: 05267073
Casa editrice Springer International Publishing AG, novembre 2015
This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma... Descrizione completa
? points 426 b
173.89 €
Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Nonlinear Potential Theory and Weighted Sobolev Spaces Bengt O. Turesson / Libro In brossura
common.buy 40.99 €
Dictionnaire étymologique, historique et comparé du français de Louisiane Kevin J. Rottet / Libro Rigido
common.buy 256.49 €
A Contextual Approach to Human Development Girishwar Misra / Libro Rigido
common.buy 215.89 €
Les liaisons dangereuses Choderlos de Laclos / Libro Rigido
common.buy 49.99 €
Rockstars Fausto Gilberti / Libro In brossura
common.buy 30.79 €
Sociální pouto v éře virtuality Gérard Dubey / Libro In brossura
common.buy 1.79 €
L'Hermeneutique: Source d'Interpretation Biblique Joubert Michel / Libro In brossura
common.buy 24.79 €
Neue Gedichte Georg Herwegh / Libro In brossura
common.buy 24.29 €
Gender Im Blick Karin Gludovatz / Libro Rigido
common.buy 77.29 €
Mord am Leuchtturm, 3 Audio-CDs Klaus-Peter Wolf / Audio CD audio
common.buy 23.49 €
Mein Kuschel-Fühlbuch - Lieblingstiere, Stoffbilderbuch Francesca Ferri / Gioco/giocattolo Giocattolo
common.buy 8.99 €
Correspondance Generale de La Beaumelle Hubert Angliviel de La Beaumelle / Libro Rigido
common.buy 200.69 €

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to most recent developments in proof theory. Gentzen founded modern proof theory. His subsequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

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 Gentzen's Centenary
Autore Reinhard Kahle, Michael Rathjen
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 561
EAN 9783319101026
ISBN 3319101021
Codice Libristo 05267073
Casa editrice Springer International Publishing AG
Peso 866
Dimensioni 155 x 30 x 30

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
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

Entropy, Search, Complexity Imre Csiszar / Libro Rigido
common.buy 113.29 €
Learn-At-Home: Explore Math Bundle Grade 6: 4-Book Set Multiple Authors / Gioco/giocattolo Gioco
common.buy 54.19 €
Stink and the Great Guinea Pig Express Peter H. Reynolds / Libro In brossura
common.buy 5.79 €
Academy Governance Checklists Gillian Allcroft / Libro In brossura
common.buy 56.29 €
Black Circles: LiFe Katlyn Lipomi / Libro In brossura
common.buy 12.59 €
Jetta: The Calling Series (Book 2) Deana Zhollis / Libro In brossura
common.buy 15.39 €
Last Flight Gregory P. Liefer / Libro Rigido
common.buy 21.29 €
Destiny Mari Alegre / Libro In brossura
common.buy 18.49 €
Solving Irregularly Structured Problems in Parallel Afonso Ferreira / Libro In brossura
common.buy 53.79 €
Elements of Photonics - In Free Space Media V 1 Keigo Iizuka / Libro Rigido
common.buy 241.99 €
Knit the Alphabet Claire Garland / Libro In brossura
common.buy 18.89 €
I migliori
One Piece, Vol. 3 Eiichiro Oda / Libro In brossura
common.buy 10.29 €
W. Axl Rose Mick Wall / Libro In brossura
common.buy 24.39 €

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?