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

Automatisiertes Denken in Logik höherer Ordnung: Set-Verständnis und Erweiterungalität

Ø 0.0
0 Bewertungen
45,37 €

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Paperback or Softback). Your source for quality books at reduced prices. Format: Paperback or Softback.

Jetzt bei Ebay: