Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Für diesen Artikel ist leider kein Bild verfügbar.

Symbolic Logic and Mechanical Theorem Proving

Buch | Softcover
331 Seiten
1973
Academic Press (Verlag)
978-1-4933-0024-2 (ISBN)
CHF 99,95 inkl. MwSt
  • Versand in 15-20 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken
Erscheint lt. Verlag 11.6.1973
Sprache englisch
Themenwelt Mathematik / Informatik Mathematik Algebra
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 1-4933-0024-5 / 1493300245
ISBN-13 978-1-4933-0024-2 / 9781493300242
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Wie bewerten Sie den Artikel?
Bitte geben Sie Ihre Bewertung ein:
Bitte geben Sie Daten ein:
Mehr entdecken
aus dem Bereich
Begriffe, Sätze und zahlreiche Beispiele in kurzen Lerneinheiten

von Christian Karpfinger

Buch | Softcover (2022)
Springer Spektrum (Verlag)
CHF 76,95