Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

R L Constable Implementing Mathematics with The Nuprl Proof Develo (Taschenbuch)

Name: R L Constable Implementing Mathematics with The Nuprl Proof Develo (Taschenbuch)
SKU: 357255817716
Price: 22.39 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

22,39 €

Produktart: Taschenbuch. Autor: R L Constable. Verlag: Createspace Independent Publishing Platform. Genre: Science Nature & Math. Höhe: 229mm. Länge: 152mm. Produktart: Mathematical Logic. ISBN: 9781468059106.

Jetzt bei Ebay:

Zum Angebot *

Autor:

R L Constable
Breite:

17mm
Buchtitel:

Implementing Mathematics with The Nuprl Proof Development System
EAN:

9781468059106
Erscheinungsdatum:

23.01.2012
Genre:

Science Nature & Math
Produktart:

Mathematical Logic
Gewicht:

417g
ISBN-10:

1468059106
ISBN:

9781468059106
Länge:

152mm
Höhe:

229mm
Herstellungsland und -region:

US
Verlag:

Createspace Independent Publishing Platform
Sprache:

Englisch

Standard Shipping from outside:

Standardversand aus dem Ausland kostenlos - Lieferung zwischen 04. August 2025 und 12. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Frankreich , Großbritannien , Irland , Italien , Schweiz , Spanien , Ukraine , Belarus , Kanada , ... und weitere