Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Gentzen's Centenary

The Quest for Consistency

Língua InglêsInglês
Livro Capa mole
Livro Gentzen's Centenary Reinhard Kahle
Código Libristo: 05267073
Editoras Springer International Publishing AG, novembro 2015
This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma... Descrição completa
? points 406 b
167.74 €
Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Nonlinear Potential Theory and Weighted Sobolev Spaces Bengt O. Turesson / Livro Capa mole
common.buy 41.45 €
Dictionnaire étymologique, historique et comparé du français de Louisiane Kevin J. Rottet / Livro Livro de capa dura
common.buy 247.32 €
A Contextual Approach to Human Development Girishwar Misra / Livro Livro de capa dura
common.buy 209.00 €
Les liaisons dangereuses Choderlos de Laclos / Livro Livro de capa dura
common.buy 46.30 €
Rockstars Fausto Gilberti / Livro Capa mole
common.buy 28.50 €
Sociální pouto v éře virtuality Gérard Dubey / Livro Capa mole
common.buy 1.91 €
L'Hermeneutique: Source d'Interpretation Biblique Joubert Michel / Livro Capa mole
common.buy 22.64 €
Neue Gedichte Georg Herwegh / Livro Capa mole
common.buy 24.56 €
Gender Im Blick Karin Gludovatz / Livro Livro de capa dura
common.buy 78.15 €
Mord am Leuchtturm, 3 Audio-CDs Klaus-Peter Wolf / Áudio CD de áudio
common.buy 22.74 €
Mein Kuschel-Fühlbuch - Lieblingstiere, Stoffbilderbuch Francesca Ferri / Jogo/brinquedo Brinquedo
common.buy 9.09 €
Correspondance Generale de La Beaumelle Hubert Angliviel de La Beaumelle / Livro Livro de capa dura
common.buy 185.94 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Gentzen's Centenary
Autor Reinhard Kahle, Michael Rathjen
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 561
EAN 9783319101026
ISBN 3319101021
Código Libristo 05267073
Editoras Springer International Publishing AG
Peso 866
Dimensões 155 x 30 x 30

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Entropy, Search, Complexity Imre Csiszar / Livro Livro de capa dura
common.buy 114.45 €
Learn-At-Home: Explore Math Bundle Grade 6: 4-Book Set Multiple Authors / Jogo/brinquedo Jogo
common.buy 49.03 €
Stink and the Great Guinea Pig Express Peter H. Reynolds / Livro Capa mole
common.buy 6.06 €
Academy Governance Checklists Gillian Allcroft / Livro Capa mole
common.buy 53.99 €
Black Circles: LiFe Katlyn Lipomi / Livro Capa mole
common.buy 11.52 €
Jetta: The Calling Series (Book 2) Deana Zhollis / Livro Capa mole
common.buy 16.67 €
Last Flight Gregory P. Liefer / Livro Livro de capa dura
common.buy 21.53 €
Destiny Mari Alegre / Livro Capa mole
common.buy 17.69 €
Solving Irregularly Structured Problems in Parallel Afonso Ferreira / Livro Capa mole
common.buy 54.39 €
Elements of Photonics - In Free Space Media V 1 Keigo Iizuka / Livro Livro de capa dura
common.buy 232.45 €
Knit the Alphabet Claire Garland / Livro Capa mole
common.buy 17.99 €
Principal
One Piece, Vol. 3 Eiichiro Oda / Livro Capa mole
common.buy 10.40 €
W. Axl Rose Mick Wall / Livro Capa mole
common.buy 23.25 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?