Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Methods of Cut-Elimination

Sprache EnglischEnglisch
Buch Broschur
Buch Methods of Cut-Elimination Matthias Baaz
Libristo-Code: 01979707
Verlag Springer Netherlands, November 2012
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Vollständige Beschreibung
? points 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Los días y las noches en la casa grande Juan Martín-Mora Haba / Buch Broschur
common.buy 16.89 €
Gendersensible Gestaltung des neuen Studiengangs "BWL - Digitale Wirtschaft" an der Beuth Hochschule für Technik Berlin Martina Brandt / Buch Blatt
common.buy 10.69 €
Ideologische Durchdringung der Universitat im Nationalsozialismus. Der Kriegseinsatz der Deutschen Geisteswissenschaften Nejla Demirkaya / Buch Broschur
common.buy 17.95 €
vergessene Zimmer Manfred Liebrecht / Buch Broschur
common.buy 7.90 €
La Biblioth?que du gilet jaune: De la col?re ? la conscience; de la révolte ? la révolution Tsarafine Mohamed-Oumbia / Buch Broschur
common.buy 9.29 €
Les métamorphoses de Virgile - réception de la figure de l'auctor, Antiquité, Moyen âge, temps modernes / Buch Broschur
common.buy 85.49 €
Essere e analogia Vincenzo Cicero / Buch Broschur
common.buy 21.09 €
Magie Josef Veselý / Buch Blatt
common.buy 19.19 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Methods of Cut-Elimination
Autor Matthias Baaz, Alexander Leitsch
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 290
EAN 9789400734975
ISBN 9400734972
Libristo-Code 01979707
Verlag Springer Netherlands
Gewicht 419
Abmessungen 158 x 14 x 15

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Politics and Development in the Caribbean Basin J Grugel / Buch Broschur
common.buy 68.89 €
The Raven Cipher Madison Carter / Buch Broschur
common.buy 13.59 €
Proceedings of the 9th International Conference on Computational Science and Technology Rayner Alfred / Buch Broschur
common.buy 374.89 €
Quiet Play ACTIVITY CRUSADES / Buch Broschur
common.buy 12.69 €
The Cold Eye Laura Anne Gilman / Buch Broschur
common.buy 14.29 €
Bessie's Fortune Mary Jane Holmes / Buch Hardcover
common.buy 40.69 €
Arab Contemporary: Architecture & Identity Poul Erik Tojner / Buch Broschur
common.buy 37.49 €
Turkey Telecom Laws and Regulations Handbook - Strategic Information and Regulations Inc IBP / Buch Broschur
common.buy 88.59 €
Modelling Covariances and Latent Variables Using EQS Andrew (all of The Institute of Psychiatry) Pickles / Buch Broschur
common.buy 180.99 €
Metabolic Syndrome Research Trends Thomas E Batone / Buch Hardcover
common.buy 261.69 €
Pathway of Peace/ Cistercian Wisdom according to Saint Bernard Charles Dumont / Buch Broschur
common.buy 25.29 €
National Curriculum English Practice Book for Year 1 Scholastic / Buch Broschur
common.buy 10.29 €
Catholicism Today Evyatar Marienberg / Buch Broschur
common.buy 87.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?