Automated Reasoning In Higher Order Logic Set Comprehension And Extensionality | Desertcart GERMANY
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems)
Produkt-ID: 429154836
Sichere Transaktion
Häufig zusammen gekauft
Beschreibung
Häufige Fragen
TrustPilot
TrustScore 4.5 | 7.300+ Bewertungen
Ayesha M.
Das Produkt entspricht genau der Beschreibung. Sehr zufrieden mit meinem Kauf.
vor 5 Tagen
Ali H.
Schneller Versand und hervorragende Verpackung. Das Leatherman-Tool fühlt sich sehr wertig und stabil an.
