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

Isabelle/HOL: Ein Beweisassistent für Logik höherer Ordnung von Lawrence C....

Ø 0.0

0 Bewertungen

72,29 €

Book picture is for illustrative purposes only, actual cover or edition may vary.

Jetzt bei Ebay:

ISBN:

9783540433767

Expressversand:

International Priority Shipping 14,27 EUR - Lieferung zwischen 05. June 2025 und 09. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Großbritannien, Österreich, Belgien, Dänemark, Finnland, Frankreich, Deutschland, Irland, Luxemburg, Niederlande, Schweden, Australien, Japan, Neuseeland, Norwegen, Südkorea, Schweiz, Island, Monaco
Versand ausgeschlossen:

Russische Föderation , Albanien , Andorra , Belarus , Bosnien und Herzegowina , Bulgarien , Republik Kroatien , Zypern , Tschechische Republik , Estland , ... und weitere