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

Methods of Cut-Elimination

Língua InglêsInglês
Livro Livro de capa dura
Livro Methods of Cut-Elimination Alexander Leitsch
Código Libristo: 02065390
Editoras Springer, janeiro 2011
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Descrição completa
? points 288 b
118.27 €
Armazenamento externo Envio em 9-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Video Services - EP3 - Enfants, personnes âgées : gestes et techniques de soins Doceo/Agora / Vídeo DVD
common.buy 48.27 €
Fotbaláci 6 - Záhada začarovaného hradu Roberto Santiago / Livro Livro de capa dura
common.buy 16.38 €
MANUAL DE PSICOFARMACOLOGÍA PARA PROFESIONALES DE LA SALUD MENTAL MARIA F. BRAVO ORTIZ / Livro Livro de capa dura
common.buy 25.74 €
Lizzie Siddal. Il volto dei Preraffaelliti Lucinda Hawksley / Livro Capa mole
common.buy 31.28 €
Svišť / Jogo/brinquedo Brinquedo
common.buy 6.02 €
Despertar del olvido: El decisivo papel de las mujeres espa?olas en las Indias Lola Higueras / Livro Capa mole
common.buy 37.30 €
Les Chevaliers du ciel Tanguy et Laverdure - Tome 9 - Tanguy VS Laverdure Buendia Patrice / Livro Livro de capa dura
common.buy 18.50 €
Špalíček výletů Města a městečka Petr David / Livro Livro de capa dura
common.buy 17.19 €
Gotthold Ephraim Lessings saemtliche Schriften Gotthold Ephraim Lessing / Livro Capa mole
common.buy 20.51 €
Jahrbuch für Geschichte, Sprache und Literatur Elsass-Lothringens Zweigverein des Vogesen-Club / Livro Capa mole
common.buy 17.69 €
Briefe über Religion Friedrich Naumann / Livro Livro de capa dura
common.buy 30.16 €
Stillen und Muttermilch / Livro Livro de capa dura
common.buy 54.50 €
Estrategias de reproducao social na agricultura familiar Michele Assunç?o / Livro Capa mole
common.buy 55.22 €
Discours Contenant Une Notice Sur La Vie de Gerard Tenque: Fondateur de l'Ordre Des Hospitaliers Ollivier-J / Livro Capa mole
common.buy 13.27 €
Studio Beseda Miloslav Klíma / Livro Capa mole
common.buy 7.63 €
Solare Technologien fur Gebaude Ursula Eicker / Livro Livro de capa dura
common.buy 49.57 €

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.§

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 Methods of Cut-Elimination
Autor Alexander Leitsch, Matthias Baaz
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2011
Número de páginas 290
EAN 9789400703193
ISBN 9400703198
Código Libristo 02065390
Editoras Springer
Peso 568
Dimensões 159 x 239 x 24

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
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

Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy Edmund Husserl / Livro Capa mole
common.buy 343.86 €
Bioethics Critically Reconsidered H.T . Engelhardt / Livro Capa mole
common.buy 107.91 €
Malaysia: A Country Profile Federal Research Division / Livro Capa mole
common.buy 21.12 €
Handbook of Heating, Ventilation, and Air Conditioning Jan F. Kreider / Livro Capa mole
common.buy 101.87 €
Económico
End of Sovereignty Antonio Negri / Livro Capa mole
common.buy 3.61 €
Principal
Little Kids First Board Book African Animals National Geographic Kids / Livro Livro concertina
common.buy 7.53 €
Principal
Qabalistic Tarot Book ROBERT WANG / Artigos impressos Cartões
common.buy 25.23 €
Environmental Change Rosemary Charles / Livro Livro de capa dura
common.buy 130.03 €
Merchants of Canton and Macao Paul A. Van Dyke / Livro Livro de capa dura
common.buy 84.37 €
Principal
Intermezzo Sally Rooney / Livro Livro de capa dura
common.buy 20.51 €
Machine Gods Michael G Thomas / Livro Capa mole
common.buy 17.39 €
I Wish Nancy Guettier / Livro Capa mole
common.buy 8.54 €
Cambridge Companion to Mario Vargas Llosa Efrain KristalJohn King / Livro Livro de capa dura
common.buy 63.25 €
Nonlinear Waves, Solitons and Chaos Eryk InfeldGeorge Rowlands / Livro Capa mole
common.buy 96.64 €
Science of Polymer Molecules Richard H. BoydPaul J. Phillips / Livro Capa mole
common.buy 82.56 €
Microbial Ecosystems of Antarctica Warwick F. Vincent / Livro Capa mole
common.buy 77.53 €
Language and Conquest in Early Modern Ireland Patricia Palmer / Livro Capa mole
common.buy 58.22 €
Justifying Ballistic Missile Defence Columba Peoples / Livro Livro de capa dura
common.buy 82.96 €
KS2 Maths, English and Science SATs Practice Papers Collins KS2 / Livro Capa mole
common.buy 19.10 €

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?