Model-Theoretic Logics
Seit ihrer Gründung haben die Reihen Perspectives in Logic und Lecture Notes in Logic bahnbrechende Werke von führenden Logikern veröffentlicht. Viele der ursprünglichen Bücher der Reihe waren jahrelang nicht mehr erhältlich, aber jetzt sind sie wieder im Druck.
Dieser Band, die achte Veröffentlichung in der Reihe Perspectives in Logic, fasst verschiedene Richtungen der Arbeit in der Modelltheorie zwischen den späten 1950er und frühen 1980er Jahren zusammen. Er enthält Darstellungen von herausragenden Forschern. Teil I bietet eine Einführung in das Thema als Ganzes, sowie in die grundlegende Theorie und Beispiele.
Der Rest des Buches befasst sich mit finitären Sprachen mit zusätzlichen Quantoren, infinitären Sprachen, Logik zweiter Ordnung, Topologie- und Analyselogiken sowie fortgeschrittenen Themen der abstrakten Modelltheorie. Viele Kapitel können unabhängig voneinander gelesen werden.
| ISBN: | 9781107168251 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2017 |
| Seitenzahl: | 911 |
Derzeit verfügbar, auf Lager.
