I. EinleitungII. Syntax der Sprachen erster StufeIII. Semantik der Sprachen erster StufeIV. Ein SequenzenkalkulV. Der VollstandigkeitssatzVI. Der Satz von Lowenheim und Skolem und der EndlichkeitssatzVII. Zur Tragweite der ersten StufeVIII. AnhangIX. Erweiterungen der Logik erster StufeX. Grenzen der formalen MethodeXI. Eine algebraische Charkterisierung der elementaren AquivalenzXII. Die Satze von Lindstrom
€3,00