Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Reasoning in Simple Type Theory -

Reasoning in Simple Type Theory

Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Christoph Benzmueller, Chad E Brown, Joerg Siekmann (Herausgeber)

Buch | Softcover
480 Seiten
2008
College Publications (Verlag)
978-1-904987-70-3 (ISBN)
CHF 74,95 inkl. MwSt
  • Titel nicht im Sortiment
  • Artikel merken
Erscheint lt. Verlag 1.12.2008
Zusatzinfo black & white illustrations
Verlagsort London
Sprache englisch
Maße 156 x 234 mm
Gewicht 668 g
Themenwelt Geisteswissenschaften ► Philosophie ► Logik
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10 1-904987-70-2 / 1904987702
ISBN-13 978-1-904987-70-3 / 9781904987703
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Ludwig Wittgenstein - Sandra Markewitz; Ansgar Lorenz
Ludwig Wittgenstein

von Sandra Markewitz; Ansgar Lorenz

Buch | Softcover (2024)
Brill | Fink (Verlag)
CHF 27,85
Longpath : auf lange Sicht - Ari Wallach
Longpath : auf lange Sicht
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …

von Ari Wallach

Buch | Hardcover (2023)
REDLINE (Verlag)
CHF 27,90
Der Gedanke - Gottlob Frege; Uwe Voigt
Der Gedanke
eine logische Untersuchung

von Gottlob Frege; Uwe Voigt

Buch | Softcover (2024)
Phillip Reclam (Verlag)
CHF 7,25
auf Facebook teilen
bei Twitter
Link zu dieser Seite kopieren