Aufgrund von US-Zollbestimmungen muss der Käufer dieses Artikels vor der Lieferung Einfuhrgebühren an den Versanddienstleister entrichten. Mehr erfahren

Computational Logic (Nato ASI Subseries F: (165)). Berger, Ulrich and Helmut Sch

expertbuch
(1297)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
EUR 73,10
(inkl. MwSt.)
Ca.CHF 68,06
Artikelzustand:
Sehr gut
“In very good condition. ISBN: 9783540645894”
2 verfügbar
Versand:
EUR 15,00 (ca. CHF 13,97) Warenpost International.
Standort: Klettgau-Erzingen, Deutschland
Lieferung:
Lieferung zwischen Do, 16. Okt und Di, 28. Okt nach 94104 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Verkäufer verschickt innerhalb von 1 Tag nach Zahlungseingang.
Rücknahme:
Keine Rücknahme.
Zahlungen:
     Diners Club

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:155030729649
Zuletzt aktualisiert am 10. Aug. 2025 10:48:57 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Sehr gut
Buch, das nicht neu aussieht und gelesen wurde, sich aber in einem hervorragenden Zustand befindet. Der Einband weist keine offensichtlichen Beschädigungen auf. Bei gebundenen Büchern ist der Schutzumschlag vorhanden (sofern zutreffend). Alle Seiten sind vollständig vorhanden, es gibt keine zerknitterten oder eingerissenen Seiten und im Text oder im Randbereich wurden keine Unterstreichungen, Markierungen oder Notizen vorgenommen. Der Inneneinband kann minimale Gebrauchsspuren aufweisen. Minimale Gebrauchsspuren. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen ansehenwird in neuem Fenster oder Tab geöffnet
Hinweise des Verkäufers
“In very good condition. ISBN: 9783540645894”
EAN
9783540645894
ISBN
3540645896
Kategorie

Über dieses Produkt

Produktinformation

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field. Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Produktkennzeichnungen

Herausgeber
Ulrich Berger, Helmut Schwichtenberg
ISBN-10
3540645896
ISBN-13
9783540645894
eBay Product ID (ePID)
62936330

Produkt Hauptmerkmale

Verlag
Springer Berlin Heidelberg, Springer Berlin
Erscheinungsjahr
1999
Anzahl der Seiten
460 Seiten
Publikationsname
Computational Logic
Sprache
Englisch
Produktart
Lehrbuch
Autor
Ulrich Berger, Helmut Schwichtenberg
Reihe
Nato Asi Subseries F:
Format
Gebundene Ausgabe

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Hc Runder Rücken Kaschiert
Nummer Innerhalb der Serie
165
Item Height
2cm
Item Length
24cm
Item Weight
852g
Item Width
16cm

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

USt-IdNr.: DE 209970879

Informationen zur Produktsicherheit und Barrierefreiheit

Info zu diesem Verkäufer

expertbuch

100% positive Bewertungen•2.4 Tsd. Artikel verkauft

Mitglied seit Jun 2014
Angemeldet als gewerblicher Verkäufer
Wissenschaftliches Antiquariat Thomas Haker e.K.Inhaber: Thomas HakerWeisweiler Str. 1379771 Klettgau-ErzingenDeutschlandTel.: 07742858273E-Mail: buch@thomashaker.deRegistergericht: Amtsgericht ...
Mehr anzeigen
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten
Genaue Beschreibung
4.9
Angemessene Versandkosten
4.9
Lieferzeit
5.0
Kommunikation
5.0

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
BelletristikMedienTheaterwissenschaftBuchwesenAltgriechisch-PhilologieAnglistikArchäologieArchitekturÖkologie

Verkäuferbewertungen (1'056)

Alle Bewertungen
Positiv
Neutral
Negativ
Alle Bewertungen ansehen

Noch mehr entdecken: