Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)

Name: Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive
Price: 91.10 EUR
Availability: InStock

Produkt-ID: 620761412

Sichere Transaktion

Häufig zusammen gekauft

Beschreibung

Häufige Fragen

TrustPilot

TrustScore 4.5 | 7.300+ Bewertungen

Anita G.

Gute Erfahrung, aber die Tracking-Updates könnten besser sein.

vor 2 Monaten

Daniel L.

Die Lieferzeit war ausgezeichnet und die Verpackung sicher.

vor 2 Monaten

Sehen Sie sich alle Überprüfungen von TrustPilot an

Kaufen Sie weltweit ein und sparen Sie mit Desertcart

Preis-Leistungs-Verhältnis

Wettbewerbsfähige Preise für eine große Produktpalette

Kaufen Sie weltweit ein

Wir bedienen über 300 Millionen Käufer in mehr als 200 Ländern

Verbesserter Schutz

Vertrauenswürdige Zahlungsoptionen, die bei Käufern weltweit beliebt sind

Kundensicherung

Vertrauenswürdige Zahlungsoptionen, die bei Käufern weltweit beliebt sind.

Desertcart-App

Shoppen Sie unterwegs, jederzeit und überall.

€ 91.10

GERMANYspeichern

Kostenlose Rücksendungen

30 Tagefür PRO-Mitgliedschaftsbenutzer

15 Tageohne Mitgliedschaft

Sichere Transaktion

TrustPilot

TrustScore 4.5 | 7.300+ Bewertungen

Sarah H.

Der Kundenservice hat meine Erwartungen übertroffen. Perfekt für den Kauf von Produkten, die man anderswo nicht findet.

vor 1 Woche

Ali H.

Schneller Versand und hervorragende Verpackung. Das Leatherman-Tool fühlt sich sehr wertig und stabil an.

vor 1 Tag

Sehen Sie sich alle Überprüfungen von TrustPilot an