Introduction to combinatory logic (London Mathematical Society Lecture Note Series, Band 7)

"Introduction to Combinatory Logic" von J. P. Seldin ist ein umfassendes Werk, das sich mit den Grundlagen und Anwendungen der Kombinatorischen Logik befasst. Dieses Buch ist Teil der London Mathematical Society Lecture Note Series und bietet eine detaillierte Einführung in die Theorie der Kombinatoren, die als Grundlage für viele Bereiche der mathematischen Logik und theoretischen Informatik dient. Das Werk beginnt mit einer historischen Übersicht über die Entwicklung der Kombinatorischen Logik und stellt grundlegende Konzepte wie Kombinatoren, Reduktionsregeln und Normalformen vor. Es untersucht die Beziehung zwischen Kombinatorischer Logik und Lambda-Kalkül, einem weiteren wichtigen Formalismus in der Logik. Im weiteren Verlauf des Buches werden verschiedene Systeme der Kombinatorischen Logik analysiert, einschließlich ihrer syntaktischen Eigenschaften und semantischen Interpretationen. Die Autoren diskutieren auch Anwendungen in Bereichen wie Beweistheorie und funktionale Programmierung. Durch zahlreiche Beispiele und Übungen wird dem Leser ermöglicht, ein tiefes Verständnis für die Thematik zu entwickeln. Das Buch richtet sich an Studierende und Forscher in den Bereichen Mathematik, Informatik und Philosophie, die sich mit logischen Systemen beschäftigen möchten.