Implementing Mathematics with The Nuprl Proof Development System

Sprache: Englisch

Verlag: Createspace Independent Publishing Platform, US, 2012

1468059106 / 9781468059106

Anbieter: Rarewaves.com USA, London, London, Vereinigtes KönigreichRarewaves.com USA

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Juni 2025

Softcover

Zustand: Neu

EUR 21,99

 Versand gratis 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Bestandsnummer des Verkäufers LU-9781468059106

Titel
Implementing Mathematics with The Nuprl Proof Development System
Autor
R L Constable
Verlag
Createspace Independent Publishing Platform, US
Erscheinungsjahr
2012
Zustand
New
Einband
Paperback
Sprache
Englisch
ISBN-10
1468059106
ISBN-13
9781468059106
Artikelgewicht
417 Gramm
Abmessungen
15.24 x 1.78 x 22.86 cm

Rarewaves.com USA

London, London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Juni 2025

Versandkosten von Vereinigtes Königreich nach USA

Artikel10 bis 15 Werktage10 bis 15 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Vereinigtes Königreich W1W 8BE