Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Methods of Cut-Elimination

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Methods of Cut-Elimination Alexander Leitsch
Libristo-code: 02065390
Uitgeverij Springer, januari 2011
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Volledige beschrijving
? points 289 b
119.48 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Svišť / Spel/speelgoed Speelgoed
common.buy 5.65 €
Fotbaláci 6 - Záhada začarovaného hradu Roberto Santiago / Boek Gebonden (harde band)
common.buy 16.06 €
Lizzie Siddal. Il volto dei Preraffaelliti Lucinda Hawksley / Boek Gebonden (paperback)
common.buy 29.81 €
Estrategias de reproducao social na agricultura familiar Michele Assunç?o / Boek Gebonden (paperback)
common.buy 48.92 €
Despertar del olvido: El decisivo papel de las mujeres espa?olas en las Indias Lola Higueras / Boek Gebonden (paperback)
common.buy 38.10 €
Video Services - EP3 - Enfants, personnes âgées : gestes et techniques de soins Doceo/Agora / Video Dvd
common.buy 51.65 €
Les Chevaliers du ciel Tanguy et Laverdure - Tome 9 - Tanguy VS Laverdure Buendia Patrice / Boek Gebonden (harde band)
common.buy 20.41 €
TOP
Špalíček výletů Města a městečka Petr David / Boek Gebonden (harde band)
common.buy 17.88 €
Discours Contenant Une Notice Sur La Vie de Gerard Tenque: Fondateur de l'Ordre Des Hospitaliers Ollivier-J / Boek Gebonden (paperback)
common.buy 13.13 €
Wordt verwacht
Studio Beseda Miloslav Klíma / Boek Gebonden (paperback)
common.buy 7.17 €
Solare Technologien fur Gebaude Ursula Eicker / Boek Gebonden (harde band)
common.buy 47.20 €

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.§

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Methods of Cut-Elimination
Auteur Alexander Leitsch, Matthias Baaz
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2011
Aantal pagina's 290
EAN 9789400703193
ISBN 9400703198
Libristo-code 02065390
Uitgeverij Springer
Gewicht 568
Afmetingen 159 x 239 x 24

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Bioethics Critically Reconsidered H.T . Engelhardt / Boek Gebonden (paperback)
common.buy 102.90 €
Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy Edmund Husserl / Boek Gebonden (paperback)
common.buy 343.31 €
Intermezzo Sally Rooney / Boek Gebonden (harde band)
common.buy 18.79 €
Justifying Ballistic Missile Defence Columba Peoples / Boek Gebonden (harde band)
common.buy 82.18 €
Malaysia: A Country Profile Federal Research Division / Boek Gebonden (paperback)
common.buy 20.21 €
I Wish Nancy Guettier / Boek Gebonden (paperback)
common.buy 8.38 €
Machine Gods Michael G Thomas / Boek Gebonden (paperback)
common.buy 17.07 €
Environmental Change Rosemary Charles / Boek Gebonden (harde band)
common.buy 129.29 €
Qabalistic Tarot Book ROBERT WANG / Drukwerk Speelkaarten
common.buy 24.66 €
Handbook of Heating, Ventilation, and Air Conditioning Jan F. Kreider / Boek Gebonden (paperback)
common.buy 99.57 €
KS2 Maths, English and Science SATs Practice Papers Collins KS2 / Boek Gebonden (paperback)
common.buy 16.06 €
Little Kids First Board Book African Animals National Geographic Kids / Boek Leporello (harmonicaboek)
common.buy 7.88 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?