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

Proofs and Computations

Língua InglêsInglês
Livro Livro de capa dura
Livro Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Código Libristo: 04449225
Editoras Cambridge University Press, dezembro 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Descrição completa
? points 228 b
93.79 €
Armazenamento externo Envio em 9-15 dias

Até 30 dias para devoluções

Os clientes também compraram

Em breve
Benni Bärenstark. Band 4 eyo / Livro Livro de capa dura
common.buy 10.38 €
Die Sammlung Emmerig des Bezirks Oberpfalz Maya Brückl / Livro Capa mole
common.buy 20.77 €
Le Paris des Merveilles - vol. 02/2 / Livro Livro de capa dura
common.buy 17.64 €
En un tour de main Jo Witek / Livro Capa mole
common.buy 11.39 €
DÓNDE UNO CAE LORENZO SILVA / Livro Livro de capa dura
common.buy 22.79 €
El telescopio de Schopenhauer Donovan / Livro Capa mole
common.buy 17.14 €
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Livro Capa mole
common.buy 19.05 €

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

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 Proofs and Computations
Autor Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2011
Número de páginas 480
EAN 9780521517690
ISBN 0521517699
Código Libristo 04449225
Editoras Cambridge University Press
Peso 884
Dimensões 233 x 158 x 29

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemá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

Mentalities of Gorillas and Orangutans H. Lyn Miles / Livro Livro de capa dura
common.buy 152.10 €
Smart and Agile Cybersecurity for IoT and IIoT Environments Qasem Abu Al-Haija / Livro Livro de capa dura
common.buy 343.74 €
Integrating Generative AI in Education to Achieve Sustainable Development Goals Ruchi Doshi / Livro Livro de capa dura
common.buy 319.43 €
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / E-book Adobe ePub DRM
common.buy 9.98 €
Mother's World Fjabi World / Livro Capa mole
common.buy 8.77 €
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Livro Capa mole
common.buy 21.27 €
Where The Flowers Grow: A Poetry Collection Sienna B Otero / Livro Capa mole
common.buy 10.28 €
Routledge Companion to Animal-Human History Hilda Kean / Livro Livro de capa dura
common.buy 337.79 €
American Economic History: 2014 Edition Richard E Carmichael Ph D / Livro Capa mole
common.buy 12.50 €
Blood Underground: Book One: Thavs Terence Jackson / Livro Capa mole
common.buy 7.96 €
Reassessing Egalitarianism J. Moss / Livro Capa mole
common.buy 50.42 €
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Livro Livro de capa dura
common.buy 36.91 €
Mindful Aesthetics Chris Danta / Livro Livro de capa dura
common.buy 175.80 €
The: Grand Haven Area: 1860-1960 Wallace Ewing / Livro Capa mole
common.buy 18.25 €
Three New Deals Wolfgang Schivelbusch / Livro Capa mole
common.buy 14.72 €
White Hot-True Blue Richard J Alapack / Livro Capa mole
common.buy 18.25 €
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Livro Capa mole
common.buy 25.11 €

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?